32 citations · 72 across the 18 of their papers we have counts for
11 papers · 1 filter
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…
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…
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…
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-…
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…
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…