175 citations · 250 across the 25 of their papers we have counts for
18 papers · 1 filter
On Approximate Diagnosability of Nonlinear Systems
Elena De Santis, Giordano Pola, Maria Domenica Di Benedetto
This paper deals with diagnosability of discrete-time nonlinear systems with unknown inputs and quantized outputs. We propose a novel notion of diagnosability that we term approxim…
Equivalence Notions for Discrete-Time Stochastic Linear Control Systems
Giordano Pola, Costanzo Manes, Arjan J. van der Schaft +1
In this paper we propose definitions of equivalence via stochastic bisimulation and of equivalence of stochastic external behavior for the class of discrete-time stochastic linear…
Nonlinear Control of a DC MicroGrid for the Integration of Photovoltaic Panels
Alessio Iovine, Sabah Benamane Siad, Gilney Damm +2
New connection constraints for the power network (Grid Codes) require more flexible and reliable systems, with robust solutions to cope with uncertainties and intermittence from re…
Nonlinear Control of an AC-connected DC MicroGrid
Alessio Iovine, Sabah Benamane Siad, Gilney Damm +2
New connection constraints for the power network (Grid Codes) require more flexible and reliable systems, with robust solutions to cope with uncertainties and intermittence from re…
Observability and diagnosability of finite state systems: a unifying framework
Elena De Santis, Maria Domenica Di Benedetto
In this paper, a general framework is proposed for the analysis and characterization of observability and diagnosability of finite state systems. Observability corresponds to the r…
Co-design of controller and routing redundancy over a wireless network
G. D. Di Girolamo, A. D'Innocenzo, M. D. Di Benedetto
In this paper we investigate the exploitation of redundancy when routing actuation data to a discrete-time LTI system connected to the controller via a wireless network affected by…
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…
Fault detection and isolation of malicious nodes in MIMO Multi-hop Control Networks
A. D'Innocenzo, M. D. Di Benedetto, F. Smarra
A MIMO Multi-hop Control Network (MCN) consists of a MIMO LTI system where the communication between sensors, actuators and computational units is supported by a (wireless) multi-h…
Optimal co-design of control, scheduling and routing in multi-hop control networks
F. Smarra, A. D'Innocenzo, M. D. Di Benedetto
A Multi-hop Control Network consists of a plant where the communication between sensors, actuators and computational units is supported by a (wireless) multi-hop communication netw…
Feedback stabilization of dynamical systems with switched delays
Raphael M. Jungers, Alessandro D'Innocenzo, Maria D. Di Benedetto
We analyze a classification of two main families of controllers that are of interest when the feedback loop is subject to switching propagation delays due to routing via a wireless…
Symbolic models for nonlinear control systems affected by disturbances
Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto
In the last few years there has been a growing interest in the use of symbolic models for the formal verification and control design of purely continuous or hybrid systems. Symboli…
Link Failure Detection in Multi-hop Control Networks
Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Emmanuele Serra
A Multi-hop Control Network (MCN) consists of a plant where the communication between sensors, actuators and computational unit is supported by a wireless multi-hop communication n…
Digital Self Triggered Robust Control of Nonlinear Systems
M. D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo
In this paper we develop novel results on self triggering control of nonlinear systems, subject to perturbations and actuation delays. First, considering an unperturbed nonlinear s…
Fault Tolerant Stabilizability of Multi-Hop Control Networks
Maria D. Di Benedetto, Alessandro D'Innocenzo, Emmanuele Serra
A Multi-hop Control Network (MCN) consists of a plant where the communication between sensor, actuator and computational unit is supported by a wireless multi-hop communication net…
Symbolic Models for Nonlinear Time-Varying Time-Delay Systems via Alternating Approximate Bisimulation
Giordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto
Time-delay systems are an important class of dynamical systems that provide a solid mathematical framework to deal with many application domains of interest. In this paper we focus…
Integrated symbolic control design for nonlinear systems with infinite states specifications
Giordano Pola, Alessandro Borri, Maria D. Di Benedetto
Discrete abstractions of continuous and hybrid systems have recently been the topic of great interest from both the control systems and the computer science communities, because th…