Compositional and Efficient Controller Synthesis for Cyber-Physical Systems

Abstract : This thesis focus on the development of compositional and efficient controller synthesis approaches for cyber-physical systems (CPS). Indeed, while model-based techniques for CPS design have been the subject of a large amount of research in the last decade, scalability of these techniques remains an issue. In his thesis, we contribute to make such approaches more scalable.The focus of the first part is on compositional approaches. A general framework for compositional reasoning using assume-guarantee contracts is proposed. This framework is then combined with symbolic control techniques and applied to a controller synthesis problem for multiperiodic distributed sampled-data systems, where symbolic approaches have been used to synthesize controllers enforcing a given assume-guarantee contract. Then, a new approach to the compositional computation of symbolic abstractions is proposed based on the notion of approximate composition, allowing to deal with heterogeneous abstractions and arbitrary interconnections.The second part is about efficient abstraction and controller synthesis techniques. Two new abstractions schemes have been developed for incrementally stable switched systems. The first approach is based on multirate sampling where we established the existence of an optimal multirate sampling parameter that results in a symbolic model with a minimal number of transitions. The second approach is based on event-based sampling, where the duration of transitions in the symbolic model is determined by some triggering mechanism, which makes it possible to reduce the conservatism with respect to the periodic case. Combination with lazy controller synthesis techniques has been proposed allowing the synthesis at a reduced computational cost. Finally, a new lazy approach has been develop for monotone transition systems and directed safety specifications. Several case studies have been considered in this thesis such as temperature regulation in buildings, control of power converters, vehicle platooning and voltage control in DC micro-grids.
Document type :
Theses
Complete list of metadatas

Cited literature [193 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-02317723
Contributor : Abes Star <>
Submitted on : Wednesday, October 16, 2019 - 11:55:08 AM
Last modification on : Friday, October 18, 2019 - 1:19:06 AM

File

80492_SAOUD_2019_archivage.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-02317723, version 1

Citation

Adnane Saoud. Compositional and Efficient Controller Synthesis for Cyber-Physical Systems. Automatic. Université Paris-Saclay, 2019. English. ⟨NNT : 2019SACLC076⟩. ⟨tel-02317723⟩

Share

Metrics

Record views

229

Files downloads

171