It is our pleasure to announce that a pre-conference workshop on "Set-Based Methods for Verified Parameter Identification, State Estimation, and Control" will be offered at this year's European Control Conference. For information about the registration fees, please have a look at the conference web page: https://ecc26.euca-ecc.org/workshops/
Organizers: Andreas Rauh and Marit Lahme
Details about our workshop program can be found here: http://www.uol.de/interval-workshop26
Abstract:
Cyber-physical systems are characterized by a strong interplay between hardware and software and only obtain their specific properties concerning (energy) efficiency, robustness, fault tolerance and resilience against disturbances and adversarial attacks by state estimation and control approaches which are robust against uncertainty. In recent years, cyber-physical systems have significantly grown in their complexity concerning the number of components. Moreover, their importance increases in many domains of critical infrastructure, for example, in transportation and energy supply. Due to the high safety levels required for these kinds of systems, it is indispensable to guarantee functional properties such as trajectory tracking capabilities, stability despite omnipresent uncertainty and environmental influences, and robustness against an imperfect knowledge of the exact system dynamics. To ensure these properties, set-based representations, i.e., worst-case bounds, for uncertain parameters, disturbances, and the influence of measurement noise can be used to develop estimation and control procedures so that desired performance indicators are met with certainty. Although this is extremely appealing from a methodological and application point of view, the use of set-based approaches is still under-represented in the literature and in industry. Within this workshop, we aim at presenting fundamentals and most recent developments concerning set-based identification, state and disturbance estimation, fault detection, and control methods. The applicability of the presented methods is highlighted by a collection of real-life use cases, ranging from estimation within the energy domain, over reliable control of thermal systems, the detection of faults and cyber attacks to localization and navigation in maritime robotics.
Program
Andreas Rauh and Marit Lahme (Carl von Ossietzky Universität Oldenburg, Germany) – Introduction to the Workshop: An Overview of Applications of Set-Based Methods from the Perspectives of Modeling, Identification, State Estimation and Control”
Daniel Silvestre (Universidade NOVA de Lisboa, Portugal): Explicit Set-based Estimation: Optimal Accuracy without Order Reduction Methods
Tarek Raissi (CNAM, Paris, France): Functional Interval Observers Design for Linear Systems
Marit Lahme (Carl von Ossietzky Universität Oldenburg, Germany): Interval-Based Identification of Characteristic Curves
Andreas Rauh (Carl von Ossietzky Universität Oldenburg, Germany): Set-Based Methods for Secure State Estimation under Consideration of Cyber-Attack Scenarios
Vicenç Puig (Universitat Politècnica de Catalunya, Spain): Fault Diagnosis and Fault-Tolerant Control using Set-Based Approaches
Julien Alexandre dit Sandretto (ENSTA, Paris, France): Confidence-Based Signal Temporal Logic and Application to Uncertain Cyber-Physical Systems
Quentin Brateau (ENSTA, Brest, France): Stable Cycle to Find the Deepest Point in a lake, with Characterization of the Basin of Attraction
Antoine Morvan (ENSTA, Brest, France): Characterization of the Capture Zone using Intervals and Graphs
