175 citations · 250 across the 25 of their papers we have counts for
4 papers · 1 filter
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…
Design of Symbolic Controllers for Networked Control Systems
Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto
Networked Control Systems (NCS) are distributed systems where plants, sensors, actuators and controllers communicate over shared networks. Non-ideal behaviors of the communication…
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…