Cyber-Physical Systems Analysis
Focus:
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 |
|---|---|---|
| Ali | Jafari | Post Doc |
| Edward | Lee | Visiting Professor |
| Ehsan | Khamespanah | Post Doc |
| Giorgio | Forcina | Doctoral student |
| Marjan | Sirjani | Professor |
| Project Title | Status |
|---|---|
| DPAC - Dependable Platforms for Autonomous systems and Control | active |
| Self-Adaptive Actors | 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
A compositional approach for modeling and timing analysis of wireless sensor and actuator networks (Nov 2017) Marjan Sirjani, Ehsan Khamespanah, Kirill Mechitov , Gul Agha
A Survey of Active Object Languages (Nov 2017) Marjan Sirjani, Frank de Boer , Ehsan Khamespanah
