Pages that link to "Item:Q5899000"

The following pages link to Hybrid Systems: Computation and Control (Q5899000):

Displaying 14 items.

• A framework for multi-robot motion planning from temporal logic specifications (Q439866) (← links)
• Box invariance in biologically-inspired dynamical systems (Q963961) (← links)
• A semi-algebraic approach for asymptotic stability analysis (Q1036644) (← links)
• An axiomatic approach to existence and liveness for differential equations (Q1982634) (← links)
• Deductive stability proofs for ordinary differential equations (Q2233505) (← links)
• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
• Approximate equivalence of the hybrid automata with Taylor theory (Q2336779) (← links)
• Automata-based analysis of stage suspended boom systems (Q2375655) (← links)
• Discovering polynomial Lyapunov functions for continuous dynamical systems (Q2437283) (← links)
• Monitoring bounded LTL properties using interval analysis (Q2520682) (← links)
• Deadness and how to disprove liveness in hybrid dynamical systems (Q2629097) (← links)
• Composing Stability Proofs for Hybrid Systems (Q3172858) (← links)
• Bracketing backward reach sets of a dynamical system (Q3386553) (← links)
• Notes on Recent Achievements in Proving Stability using KeYmaeraX (Q5870861) (← links)