Search Results for author:
Found 5 papers, 0 papers with code
Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multi-Agent Networks
In this work, we characterize a class of nonlinear monotone dynamical systems that have a certain translation invariance property which goes by the name of plus-homogeneity; usually called "topical" systems.
You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems
In this paper, we consider a new type of secret related to the knowledge of the system user.
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs -- An Extended Version With Benchmarks
In this paper, we study the problem of non-blockingness verification by tapping into the basis reachability graph (BRG).
Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
We construct a structure, called minimax basis reachability graph (minimax-BRG): it provides an abstract description of the reachability set of a net while preserving all information needed to test if the net is blocking.
Joint State Estimation Under Attack of Discrete Event Systems
The aim of the attacker is that of altering the state estimation of the operator.
Cryptography and Security Formal Languages and Automata Theory
