175 citations · 250 across the 25 of their papers we have counts for
3 papers · 2 filters
Decentralized Critical Observers of Networks of Finite State Machines and Model Reduction
Davide Pezzuti, Giordano Pola, Elena De Santis +1
Motivated by safety-critical applications in cyber-physical systems, in this paper we study the notion of critical observability and design of observers for networks of Finite Stat…
Compositional Symbolic Models for Networks of Incrementally Stable Control Systems
Giordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto
Symbolic models have recently spurred the interest of the research community because they offer a correct-by-design approach to the control of embedded and cyber-physical systems.…
Modeling, analysis and design of linear systems with switching delays
R. M. Jungers, A. D'Innocenzo, M. D. Di Benedetto
We consider the modeling, stability analysis and controller design problems for discrete-time LTI systems with state feedback, when the actuation signal is subject to switching pro…