Cyber-Physical Systems are smart integrations of computation, networking, and physical processes. In this thesis, we deal with interval observers for cyber-physical systems in which the continuous-time physical systems are estimated and monitored using discrete-time data transmitted over network.The contributions of the presented material are threefold: (i) we design an interval impulsive observer for continuous-time linear systems with sporadically available measurements; (ii) we propose a finite L1-gain event-triggered interval impulsive observer for continuous-time linear systems, in which we develop a co-design procedure to simultaneously design the observer gain and the event-triggering condition; (iii) using the interval impulsive o...
Transportation networks, wearable devices, energy systems, and the book you are reading now are all ...
This paper addresses the problem of cyber-attacks in discrete-event systems framework. Labeled finit...
International audienceThis work introduces the design of finite-gain L1 interval observers based on ...
Cyber-Physical Systems are smart integrations of computation, networking, and physical processes. In...
International audienceThis paper addresses the design of a secure interval state estimator for linea...
International audienceStealthy attacks on the sensors and actuators embedded in cyber-physical syste...
The works described in this thesis deal with the integrity and availability of networked control sys...
This is the author accepted manuscript. The final version is available from Elsevier via the DOI in ...
Signal Temporal Logic is a linear-time temporal logic designed for classifying the time-dependent si...
Il s'agit d'une étude menée sur les systèmes cyber-physiques sur trois aspects principaux: la vérifi...
International audienceWe consider linear continuous-time systems with input, output and additive dis...
As cyber-physical systems become more and more complex, human debugging is not sufficient anymore to...
This article investigates the distributed secure state estimation problem for cyber-physical systems...
International audienceThis paper addresses the modeling and the design of an interval state observer...
Cyber-Physical Systems (CPS) offer close integration among computational elements, communication net...
Transportation networks, wearable devices, energy systems, and the book you are reading now are all ...
This paper addresses the problem of cyber-attacks in discrete-event systems framework. Labeled finit...
International audienceThis work introduces the design of finite-gain L1 interval observers based on ...
Cyber-Physical Systems are smart integrations of computation, networking, and physical processes. In...
International audienceThis paper addresses the design of a secure interval state estimator for linea...
International audienceStealthy attacks on the sensors and actuators embedded in cyber-physical syste...
The works described in this thesis deal with the integrity and availability of networked control sys...
This is the author accepted manuscript. The final version is available from Elsevier via the DOI in ...
Signal Temporal Logic is a linear-time temporal logic designed for classifying the time-dependent si...
Il s'agit d'une étude menée sur les systèmes cyber-physiques sur trois aspects principaux: la vérifi...
International audienceWe consider linear continuous-time systems with input, output and additive dis...
As cyber-physical systems become more and more complex, human debugging is not sufficient anymore to...
This article investigates the distributed secure state estimation problem for cyber-physical systems...
International audienceThis paper addresses the modeling and the design of an interval state observer...
Cyber-Physical Systems (CPS) offer close integration among computational elements, communication net...
Transportation networks, wearable devices, energy systems, and the book you are reading now are all ...
This paper addresses the problem of cyber-attacks in discrete-event systems framework. Labeled finit...
International audienceThis work introduces the design of finite-gain L1 interval observers based on ...