Achievements in correct-by-design control for stochastic systems

Sofie Haesaert; Sadegh Soudjani

doi:10.1145/3313149.3313368

Achievements in correct-by-design control for stochastic systems

Sofie Haesaert
, Sadegh Soudjani

Control Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	SNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT
Editors	Gowri Sankar Ramachandran, Jorge Ortiz
Place of Publication	New York
Publisher	Association for Computing Machinery, Inc.
Number of pages	4
ISBN (Electronic)	978-1-4503-6697-7
DOIs	https://doi.org/10.1145/3313149.3313368
Publication status	Published - 15 Apr 2019
Event	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 Duration: 15 Apr 2019 → …

Conference

Conference	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
Country/Territory	Canada
City	Montreal
Period	15/04/19 → …

Keywords

Correct-by-design controller synthesis
simulation relation
stochastic systems

Access to Document

10.1145/3313149.3313368

Cite this

@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 = apr,

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",

note = "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 ; Conference date: 15-04-2019",

}

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 proceeding › Conference contribution › Academic › peer-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 - https://www.scopus.com/pages/publications/85066117238

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

T2 - 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

Y2 - 15 April 2019

ER -

Achievements in correct-by-design control for stochastic systems

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this