Pages that link to "Item:Q5703927"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5703927):
Displayed 27 items.
- PHAVer (Q16309) (← links)
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (Q436418) (← links)
- Computing reachable states for nonlinear biological models (Q533351) (← links)
- Monitoring of dynamic processes by rectangular hybrid automata (Q608376) (← links)
- Bisimulation conversion and verification procedure for goal-based control systems (Q633304) (← links)
- Fairness of transitions in diagnosability of discrete event systems (Q708892) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Approximate simulation relations for hybrid systems (Q939013) (← links)
- Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking (Q947801) (← links)
- Post and pre-initialized stopwatch Petri nets: formal semantics and state space computation (Q1026394) (← links)
- Don't care words with an application to the automata-based approach for real addition (Q1028730) (← links)
- Applications of polyhedral computations to the analysis and verification of hardware and software systems (Q1035700) (← links)
- Computing differential invariants of hybrid systems as fixed points (Q1039853) (← links)
- Differential dynamic logic for hybrid systems (Q1040772) (← links)
- Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
- Hybrid abstractions of affine systems (Q2496812) (← links)
- Composing Stability Proofs for Hybrid Systems (Q3172858) (← links)
- Proving the Correctness of the Implementation of a Control-Command Algorithm (Q3392923) (← links)
- Approximating Continuous Systems by Timed Automata (Q3506869) (← links)
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) (Q3541700) (← links)
- Towards Component Based Design of Hybrid Systems: Safety and Stability (Q3587253) (← links)
- Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints (Q3617770) (← links)
- Applications of MetiTarski in the Verification of Control and Hybrid Systems (Q3624557) (← links)
- Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study (Q3624564) (← links)
- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models (Q3624570) (← links)
- Trajectory Based Verification Using Local Finite-Time Invariance (Q3624574) (← links)
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (Q5458327) (← links)