DynAA is a high-performance simulation engine based on discrete event specifications. Developed in C++ for extreme speed and minimal resource consumption, DynAA provides a robust foundation for ...

Abstract: Recently, E-Scooter (ES) rental systems have played a significant role in urban mobility and particularly by improving first and last mile connectivity. However, they are facing a critical ...

Every restaurant shift starts with the same guessing game: how many servers do we need on the floor tonight? Over-staff and your labor costs eat your margin. Under-staff and customers wait too long, ...

The International Society of Automation (ISA) is a non-profit professional association of engineers, technicians and management engaged in industrial automation. As the globally trusted provider of ...

Abstract: This paper addresses the verification of fault predictability under attack in discrete event systems modeled with finite state automata. A sensor attacker can launch attacks on the ...