Pages that link to "Item:Q1939637"
From MaRDI portal
The following pages link to Formal analysis of piecewise affine systems through formula-guided refinement (Q1939637):
Displaying 6 items.
- \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems (Q262437) (← links)
- Distributed \(H_\infty\)-consensus filtering for piecewise discrete-time linear systems (Q1660449) (← links)
- Compositional abstraction refinement for control synthesis (Q1690521) (← links)
- Augmented finite transition systems as abstractions for control synthesis (Q1693823) (← links)
- Automated generation of dynamics-based runtime certificates for high-level control (Q1693827) (← links)
- Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis (Q6581256) (← links)