Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes

DOI10.1109/TAC.2020.2975028OpenAlexW3006987257WikidataQ112268300 ScholiaQ112268300MaRDI QIDQ5853981

Marta Kwiatkowska, Luca Cardelli, Alessandro Abate, Luca Laurenti, Morteza Lahijanian

Publication date: 12 March 2021

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2020.2975028

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Related Items (6)

Formal abstraction and synthesis of parametric stochastic processes ⋮ Strategy synthesis for partially-known switched stochastic systems ⋮ Optimal mixed discrete-continuous planning for linear hybrid systems ⋮ Distributionally Robust Strategy Synthesis for Switched Stochastic Systems ⋮ Interval Markov Decision Processes with Continuous Action-Spaces ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey

This page was built for publication: Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes