Achievements in correct-by-design control for stochastic systems

Sofie Haesaert, Sadegh Soudjani

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Abstract

Discrete-time stochastic systems are an essential modeling tool for many engineering systems. The direct synthesis of controllers for guaranteeing temporal properties encoded as finite automata has gain significant attention. Still, for many physical systems, computational issues make the synthesis problematic due to the inherent continuity and complexity of the state space. This extended abstract summarises achievements made in correct-by-design robust controller synthesis of stochastic systems using approximate simulation relations.

Original languageEnglish
Title of host publicationSNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT
EditorsGowri Sankar Ramachandran, Jorge Ortiz
Place of PublicationNew York
PublisherAssociation for Computing Machinery, Inc
Number of pages4
ISBN (Electronic)978-1-4503-6697-7
DOIs
Publication statusPublished - 15 Apr 2019
Event5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, SNR 2019, held as part of the 12th Cyber-Physical Systems and Internet-of-Things Week, CPS-IoT Week 2019 - Montreal, Canada
Duration: 15 Apr 2019 → …

Conference

Conference5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, SNR 2019, held as part of the 12th Cyber-Physical Systems and Internet-of-Things Week, CPS-IoT Week 2019
CountryCanada
CityMontreal
Period15/04/19 → …

Keywords

  • Correct-by-design controller synthesis
  • simulation relation
  • stochastic systems

Fingerprint Dive into the research topics of 'Achievements in correct-by-design control for stochastic systems'. Together they form a unique fingerprint.

Cite this