Browsing Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering by Author "Hadjicostis, Christoforos"
Now showing items 1-2 of 2
-
Article
Compositional Visible Bisimulation Abstraction Applied to Opacity Verification ⁎⁎This work was carried out within the project SyTec - Systematic Testing of Cyber-Physical Systems, a Swedish Science Foundation grant for strong research environment. The support is gratefully acknowledged.
Noori-Hosseini, Mona; Lennartson, Bengt; Hadjicostis, Christoforos (2018)In this paper, an alternative equivalence based definition of bisimulation is proposed, called visible bisimulation equivalence. It includes both state and transition labels and therefore unifies stuttering and branching ...
-
Conference Object
Robust Linear Quadratic Regulator for Markov Jump Systems
Tziortzis, I.; Charalambous, Charalambos D.; Hadjicostis, Christoforos (2019)Tzortzis, I. and Charalambous, C. D. and c, C. N.