Pages that link to "Item:Q2303883"
From MaRDI portal
The following pages link to Automated formal synthesis of provably safe digital controllers for continuous plants (Q2303883):
Displaying 6 items.
- Automated generation of dynamics-based runtime certificates for high-level control (Q1693827) (← links)
- Supervisory controller synthesis and implementation for safety PLCs (Q2128091) (← links)
- Satisfiability and synthesis modulo oracles (Q2152655) (← links)
- Theorem-proving analysis of digital control logic interacting with continuous dynamics (Q2520681) (← links)
- Incremental verification for on-the-fly controller synthesis (Q2852029) (← links)
- Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers (Q5039505) (← links)