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|
|Sara||Abbaspour Asadollah||Post Doc|
|DPAC - Dependable Platforms for Autonomous systems and Control||active|
|Modeling and Analyzing Event-based Autonomous Systems||active|
|Serendipity - Secure and dependable platforms for autonomy||active|
Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems (Jan 2019) Iman Jahandideh , Fatemeh Ghasemi , Marjan Sirjani Model-Based Design of Cyber Physical Systems (CyPhy'18)
Actor-based macroscopic modeling and simulation for smart urban planning (Dec 2018) Jacopo de Berardinis , Marjan Sirjani, Giorgio Forcina, Ali Jafari Science of Computer Programming (SCICO)
Interfacing a Brake-by-Wire Simulink Model with SUMO (Dec 2018) Erik Martin Campana , Nils Müllner, Saad Mubeen 2018 International Conference on Intelligent and Innovative Computing Applications (ICONIC2018)
Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking (Oct 2018) Ehsan Khamespanah, Marjan Sirjani, Kirill Mechitov , Gul Agha International Journal on Software Tools for Technology Transfer (STTT)