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 |
