Robust Controller Synthesis for Duration Calculus

DOI10.1007/978-3-030-59152-6_24MaRDI QIDQ6485900zbMATH OpenFDO

Authors Ashutosh Gupta

Publication date 22 December 2022

Published in 1517.6823 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-59152-6_24

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• On synthesizing robust discrete controllers under modeling uncertainty
• Reactive synthesis from signal temporal logic specifications
• Robust Controller Synthesis in Timed Automata
• Robust abstractions for control synthesis: completeness via robustness for linear-time properties
• Formal controller synthesis from specifications given by discrete-time hybrid automata

Cited in

(2)

• Optimal and robust controller synthesis. Using energy timed automata with uncertainty
• On synthesizing robust discrete controllers under modeling uncertainty

This page was built for publication: Robust Controller Synthesis for Duration Calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6485900)