Achievements in correct-by-design control for stochastic systems

Sofie Haesaert, Sadegh Soudjani

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Samenvatting

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.

Originele taal-2Engels
TitelSNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT
RedacteurenGowri Sankar Ramachandran, Jorge Ortiz
Plaats van productieNew York
UitgeverijAssociation for Computing Machinery, Inc
Aantal pagina's4
ISBN van elektronische versie978-1-4503-6697-7
DOI's
StatusGepubliceerd - 15 apr 2019
Evenement5th 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
Duur: 15 apr 2019 → …

Congres

Congres5th 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
Land/RegioCanada
StadMontreal
Periode15/04/19 → …

Vingerafdruk

Duik in de onderzoeksthema's van 'Achievements in correct-by-design control for stochastic systems'. Samen vormen ze een unieke vingerafdruk.

Citeer dit