32 citations · 72 across the 18 of their papers we have counts for
20 papers
Probabilistic State Estimation of Timed Probabilistic Discrete Event Systems via Artificial Neural Networks [Draft Version]
Omar Amri, Carla Seatzu, Alessandro Giua +1
This paper is about the state estimation of timed probabilistic discrete event systems. The main contribution is to propose general procedures for developing state estimation appro…
State estimation of timed automata under partial observation [Draft version]
Chao Gao, Dimitri Lefebvre, Carla Seatzu +2
In this paper, we consider partially observable timed automata endowed with a single clock. A time interval is associated with each transition specifying at which clock values it m…
[Draft] High-order estimation-based properties and high-order observers for labeled finite-state automata
Kuize Zhang, Xiaoguang Han, Alessandro Giua +1
In this paper, we consider labeled finite-state automata (LFSAs), extend some state estimation-based properties from a single agent to a finite ordered set of agents. We also exten…
Generalized Current-State Opacity With Dynamically Changing Secrets
Dan You, Shouguang Wang, Carla Seatzu
Opacity, an information-flow property related to the privacy and security of a system, has been extensively studied in the context of discrete event systems. Although various notio…
A framework for the analysis of supervised discrete event systems under attack
Qi Zhang, Carla Seatzu, Zhiwu Li +1
This paper focuses on the problem of cyber attacks for discrete event systems under supervisory control. In more detail, the goal of the supervisor, who has a partial observation o…
Tracking Control by the Newton-Raphson Method with Output Prediction and Controller Speedup
Yorai Wardi, Carla Seatzu, Jorge Cortes +3
This paper presents a control technique for output tracking of reference signals in continuous-time dynamical systems. The technique is comprised of the following three elements: (…
Verification of infinite-step and K-step opacity Using Petri Nets
Hao Lan, Yin Tong, Jin Guo +1
This paper addresses the problem of infinite-step opacity and K-step opacity of discrete event systems modeled with Petri nets. A Petri net system is said to be infinite-step/K-ste…
Verification of Detectability Using Petri Nets and Detector
Hao Lan, Yin Tong, Jin Guo +1
Detectability describes the property of a system to uniquely determine, after a finite number of observations, the current and subsequent states. In this paper, to reduce the compl…
Joint State Estimation Under Attack of Discrete Event Systems
Qi Zhang, Carla Seatzu, Zhiwu Li +1
The problem of state estimation in the setting of partially-observed discrete event systems subject to cyber attacks is considered. An operator observes a plant through a natural p…
Verification of Detectability in Petri Nets Using Verifier Nets
Hao Lan, Yin Tong, Carla Seatzu +1
Detectability describes the property of a system whose current and the subsequent states can be uniquely determined after a finite number of observations. In this paper, we develop…
Verification of C-detectability Using Petri Nets
Hao Lan, Yin Tong, Jin Guo +1
Detectability describes the property of an system whose current and the subsequent states can be uniquely determined after a finite number of observations. In this paper, we relax…
Tracking Control by the Newton-Raphson Flow: Applications to Autonomous Vehicles
Shashwat Shivam, Ian Buckley, Yorai Wardi +2
This paper concerns applications of a recently-developed output-tracking technique to trajectory control of autonomous vehicles. The technique is based on three principles: Newton-…
Performance Regulation and Tracking via Lookahead Simulation: Preliminary Results and Validation
Y. Wardi, C. Seatzu, M. Egerstedt +1
This paper presents an approach to target tracking that is based on a variable-gain integrator and the Newton-Raphson method for finding zeros of a function. Its underscoring idea…
Performance Regulation of Event-Driven Dynamical Systems Using Infinitesimal Perturbation Analysis
Yorai Wardi, Carla Seatzu, Xinwei Chen +1
This paper presents a performance-regulation method for a class of stochastic timed event-driven systems aimed at output tracking of a given reference setpoint. The systems are eit…
Congestion management in traffic-light intersections via Infinitesimal Perturbation Analysis
Carla Seatzu, Yorai Wardi
We present a flow-control technique in traffic-light intersections, aiming at regulating queue lengths to given reference setpoints. The technique is based on multivariable integra…
Consensus on the average in arbitrary directed network topologies with time-delays
Mehran Zareh, Carla Seatzu, Mauro Franceschelli
In this preliminary paper we study the stability property of a consensus on the average algorithm in arbitrary directed graphs with respect to communication/sensing time-delays. Th…
Consensus in multi-agent systems with non-periodic sampled-data exchange and uncertain network topology
Mehran Zareh, Dimos V. Dimarogonas, Mauro Franceschelli +2
In this paper consensus in second-order multi-agent systems with a non-periodic sampled-data exchange among agents is investigated. The sampling is random with bounded inter-sampli…
Infinitesimal Perturbation Analysis of Stochastic Hybrid Systems: Application to Congestion Management in Traffic-Light Intersections
Yorai Wardi, Carla Seatzu
This paper presents a new approach to congestion management at traffic-light intersections. The approach is based on controlling the relative lengths of red/green cycles in order t…
Consensus in multi-agent systems with second-order dynamics and non-periodic sampled-data exchange
Mehran Zareh, Dimos V. Dimarogonas, Mauro Franceschelli +2
In this paper consensus in second-order multi-agent systems with a non-periodic sampled-data exchange among agents is investigated. The sampling is random with bounded inter-sampli…
Decentralized Estimation of Laplacian Eigenvalues in Multi-Agent Systems
Mauro Franceschelli, Andrea Gasparri, Alessandro Giua +1
In this paper we present a decentralized algorithm to estimate the eigenvalues of the Laplacian matrix that encodes the network topology of a multi-agent system. We consider networ…