Pages that link to "Item:Q3600482"
From MaRDI portal
The following pages link to Synthesizing Switching Logic Using Constraint Solving (Q3600482):
Displaying 4 items.
- A search-based procedure for nonlinear real arithmetic (Q518407) (← links)
- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (Q2842646) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants (Q4913868) (← links)
