Pages that link to "Item:Q2986831"

The following pages link to The Complete Proof Theory of Hybrid Systems (Q2986831):

Displaying 21 items.

• ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465) (← links)
• A deductive approach towards reasoning about algebraic transition systems (Q1666122) (← links)
• A complete uniform substitution calculus for differential dynamic logic (Q1707599) (← links)
• Implicit definitions with differential equations for KeYmaera X (system description) (Q2104559) (← links)
• Pegasus: sound continuous invariant generation (Q2147687) (← links)
• Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems (Q2165213) (← links)
• Deductive stability proofs for ordinary differential equations (Q2233505) (← links)
• \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic (Q2305408) (← links)
• Generating invariants for non-linear hybrid systems (Q2355695) (← links)
• Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (Q2402231) (← links)
• Verification of Hybrid Systems (Q3176388) (← links)
• A Uniform Substitution Calculus for Differential Dynamic Logic (Q3454116) (← links)
• KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) (Q3541700) (← links)
• A Survey on Analog Models of Computation (Q5024572) (← links)
• Relational Differential Dynamic Logic (Q5039509) (← links)
• Skill-Based Verification of Cyber-Physical Systems (Q5039533) (← links)
• Differential Game Logic (Q5277902) (← links)
• Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B (Q5881449) (← links)
• Formally-verified round-off error analysis of Runge-Kutta methods (Q6149594) (← links)
• Pegasus: a framework for sound continuous invariant generation (Q6535946) (← links)
• Parallel composition and modular verification of computer controlled systems in differential dynamic logic (Q6535960) (← links)