The following pages link to (Q4953376):
Displaying 17 items.
- Safe compositional network sketches (Q2985887) (← links)
- Bayesian statistical model checking with application to Simulink/Stateflow verification (Q2985888) (← links)
- On the connections between PCTL and dynamic programming (Q2985889) (← links)
- Modeling and verification of stochastic hybrid systems using HIOA (Q2985890) (← links)
- A generating function approach to the stability of discrete-time switched linear systems (Q2985891) (← links)
- Stabilization of planar switched linear systems using polar coordinates (Q2985893) (← links)
- Amir Pnueli and the dawn of hybrid systems (Q2985894) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Approximating Continuous Systems by Timed Automata (Q3506869) (← links)
- Trajectory Based Verification Using Local Finite-Time Invariance (Q3624574) (← links)
- Finite-time stability and stabilisation with polyhedral domains for linear systems (Q5130082) (← links)
- Parameter Synthesis Through Temporal Logic Specifications (Q5206952) (← links)
- Hybrid Automata in Systems Biology: How Far Can We Go? (Q5404076) (← links)
- A novel unified framework for solving reachability and invariance problems (Q6106376) (← links)
- Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems (Q6175620) (← links)
- Reachability problem considering running cost (Q6578935) (← links)
- A computable and compositional semantics for hybrid systems (Q6614877) (← links)
