Pages that link to "Item:Q5696927"

The following pages link to Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems (Q5696927):

Displaying 21 items.

• Porous invariants (Q832262) (← links)
• Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
• Hybrid automata-based CEGAR for rectangular hybrid systems (Q888464) (← links)
• Differential dynamic logic for hybrid systems (Q1040772) (← links)
• Compositional abstraction refinement for control synthesis (Q1690521) (← links)
• Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving (Q2124467) (← links)
• Abstraction based verification of stability of polyhedral switched systems (Q2178203) (← links)
• Refinements of behavioural abstractions for the supervisory control of hybrid systems (Q2197592) (← links)
• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
• Counterexample-guided predicate abstraction of hybrid systems (Q2368954) (← links)
• Taylor approximation for hybrid systems (Q2461793) (← links)
• On the relationships between models in protocol verification (Q2482448) (← links)
• Hybrid control of networked embedded systems (Q2512007) (← links)
• Deadness and how to disprove liveness in hybrid dynamical systems (Q2629097) (← links)
• Template-Based Unbounded Time Verification of Affine Hybrid Automata (Q2901366) (← links)
• Incremental Computation of Succinct Abstractions for Hybrid Systems (Q3172856) (← links)
• Verification of Hybrid Systems (Q3176388) (← links)
• Counterexample-Guided Refinement of Template Polyhedra (Q3303915) (← links)
• GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS (Q3426788) (← links)
• Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> (Q5408048) (← links)
• The minimum principle of hybrid optimal control theory (Q6188525) (← links)