no code implementations • 12 Jan 2023 • Diego Deplano, Mauro Franceschelli, Alessandro Giua
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.
no code implementations • 31 Mar 2022 • Bohan Cui, Xiang Yin, ShaoYuan Li, Alessandro Giua
In this paper, we consider a new type of secret related to the knowledge of the system user.
no code implementations • 3 Mar 2021 • Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua
In this paper, we study the problem of non-blockingness verification by tapping into the basis reachability graph (BRG).
no code implementations • 31 Mar 2020 • Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua
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.
no code implementations • 12 Jun 2019 • Qi Zhang, Carla Seatzu, Zhiwu Li, Alessandro Giua
The aim of the attacker is that of altering the state estimation of the operator.
Cryptography and Security Formal Languages and Automata Theory