The research group is focused on analyzing cyber-physical systems, as concurrent and distributed systems where embedded computers and networks monitor and control the physical processes.
See Rebeca Homepage for more information: http://www.rebeca-lang.org
Cyber-physical systems are integrations of computation, networking, and physical processes. Different novel analysis approaches and techniques are needed to guarantee dependability and efficiency of cyber-physical systems.
|First Name||Last Name||Title|
|DPAC - Dependable Platforms for Autonomous systems and Control||active|
|Serendipity - Secure and dependable platforms for autonomy||active|
An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models (Feb 2018) Ehsan Khamespanah, Marjan Sirjani Science of Computer Programming, Elsevier (SCICO)
Runtime compositional analysis of track-based traffic control systems (Nov 2017) Maryam Bagheri , Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar , Edward Lee