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 → …

Fingerprint

Stochastic systems
Control Design
Stochastic Systems
Synthesis
Controller
Controllers
Robust Design
Finite Automata
Finite automata
Systems Engineering
Discrete-time Systems
Systems engineering
State Space
Modeling
Simulation

Keywords

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

Cite this

Haesaert, S., & Soudjani, S. (2019). Achievements in correct-by-design control for stochastic systems. In G. S. Ramachandran, & J. Ortiz (Eds.), SNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT [3313368] New York: Association for Computing Machinery, Inc. https://doi.org/10.1145/3313149.3313368
Haesaert, Sofie ; Soudjani, Sadegh. / Achievements in correct-by-design control for stochastic systems. SNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT. editor / Gowri Sankar Ramachandran ; Jorge Ortiz. New York : Association for Computing Machinery, Inc, 2019.
@inproceedings{a66bfc147a264b0db7412f3f47a587c8,
title = "Achievements in correct-by-design control for stochastic systems",
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.",
keywords = "Correct-by-design controller synthesis, simulation relation, stochastic systems",
author = "Sofie Haesaert and Sadegh Soudjani",
year = "2019",
month = "4",
day = "15",
doi = "10.1145/3313149.3313368",
language = "English",
editor = "Ramachandran, {Gowri Sankar} and Jorge Ortiz",
booktitle = "SNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT",
publisher = "Association for Computing Machinery, Inc",
address = "United States",

}

Haesaert, S & Soudjani, S 2019, Achievements in correct-by-design control for stochastic systems. in GS Ramachandran & J Ortiz (eds), SNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT., 3313368, Association for Computing Machinery, Inc, New York, 5th 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, 15/04/19. https://doi.org/10.1145/3313149.3313368

Achievements in correct-by-design control for stochastic systems. / Haesaert, Sofie; Soudjani, Sadegh.

SNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT. ed. / Gowri Sankar Ramachandran; Jorge Ortiz. New York : Association for Computing Machinery, Inc, 2019. 3313368.

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

TY - GEN

T1 - Achievements in correct-by-design control for stochastic systems

AU - Haesaert, Sofie

AU - Soudjani, Sadegh

PY - 2019/4/15

Y1 - 2019/4/15

N2 - 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.

AB - 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.

KW - Correct-by-design controller synthesis

KW - simulation relation

KW - stochastic systems

UR - http://www.scopus.com/inward/record.url?scp=85066117238&partnerID=8YFLogxK

U2 - 10.1145/3313149.3313368

DO - 10.1145/3313149.3313368

M3 - Conference contribution

AN - SCOPUS:85066117238

BT - SNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT

A2 - Ramachandran, Gowri Sankar

A2 - Ortiz, Jorge

PB - Association for Computing Machinery, Inc

CY - New York

ER -

Haesaert S, Soudjani S. Achievements in correct-by-design control for stochastic systems. In Ramachandran GS, Ortiz J, editors, SNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT. New York: Association for Computing Machinery, Inc. 2019. 3313368 https://doi.org/10.1145/3313149.3313368