Cyber–physical empirical methods consist in partitioning a dynamical system under study into a set of physical and numerical substructures that interact in real-time through a control system. In this paper, we define and investigate the fidelity of such methods, that is their capacity to generate systems whose outputs remain close to those of the original system under study. In practice, fidelity is jeopardized by uncertain and heterogeneous artefacts originating from the control system, such as actuator dynamics, time delays and measurement noise. We present a computationally efficient method, based on surrogate modelling and active learning techniques, to (1) verify that a cyber–physical empirical setup achieves probabilistic robust fidel...
As the systems we control become more complex, first-principle modeling becomes either impossible or...
High-performance control systems (HPCSs) are sophisticated vibration mitigation strategies that incl...
Designing Cyber-Physical Systems is hard. Physical testing can be slow, expensive and dangerous. Fur...
Cyber–physicalempirical methods consist in partitioning a dynamical system under study into a set of...
Cyber-physical empirical methods (CPEMs) are empirical methods in which a dynamical system under stu...
Cyber-physical empirical methods enable to address problems that classical empirical methods alone, ...
In this work, the development of a probabilistic approach to robust control is motivated by structur...
Formal methods are widely used in engineering to determine whether a system exhibits a certain prope...
Nowadays, computational models are used in virtually all fields of applied sciences and engineering ...
Cyber-physical systems (CPS) are intended to receive information from the environment through sensor...
Technical ReportRecently, probabilistic methods and statistical learning theory have been shown to p...
In this work, the development of a probabilistic approach to robust control is motivated by structur...
we demonstrate several techniques to prove safety guarantees for robust control problems with statis...
Controller design for continuous and discrete systems whose models are unknown or highly complex are...
Computational models are used in virtually all fields of applied sciences and engineering to predict...
As the systems we control become more complex, first-principle modeling becomes either impossible or...
High-performance control systems (HPCSs) are sophisticated vibration mitigation strategies that incl...
Designing Cyber-Physical Systems is hard. Physical testing can be slow, expensive and dangerous. Fur...
Cyber–physicalempirical methods consist in partitioning a dynamical system under study into a set of...
Cyber-physical empirical methods (CPEMs) are empirical methods in which a dynamical system under stu...
Cyber-physical empirical methods enable to address problems that classical empirical methods alone, ...
In this work, the development of a probabilistic approach to robust control is motivated by structur...
Formal methods are widely used in engineering to determine whether a system exhibits a certain prope...
Nowadays, computational models are used in virtually all fields of applied sciences and engineering ...
Cyber-physical systems (CPS) are intended to receive information from the environment through sensor...
Technical ReportRecently, probabilistic methods and statistical learning theory have been shown to p...
In this work, the development of a probabilistic approach to robust control is motivated by structur...
we demonstrate several techniques to prove safety guarantees for robust control problems with statis...
Controller design for continuous and discrete systems whose models are unknown or highly complex are...
Computational models are used in virtually all fields of applied sciences and engineering to predict...
As the systems we control become more complex, first-principle modeling becomes either impossible or...
High-performance control systems (HPCSs) are sophisticated vibration mitigation strategies that incl...
Designing Cyber-Physical Systems is hard. Physical testing can be slow, expensive and dangerous. Fur...