Pages that link to "Item:Q1040772"

The following pages link to Differential dynamic logic for hybrid systems (Q1040772):

Displaying 50 items.

• Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point (Q254170) (← links)
• Reachability computation for polynomial dynamical systems (Q526433) (← links)
• On differential design of logical control systems (Q677358) (← links)
• A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets (Q681340) (← links)
• ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465) (← links)
• Implicit semi-algebraic abstraction for polynomial dynamical systems (Q832202) (← links)
• Exact safety verification of hybrid systems using sums-of-squares representation (Q893625) (← links)
• Computing differential invariants of hybrid systems as fixed points (Q1039853) (← links)
• Verifying hybrid systems with modal Kleene algebra (Q1617825) (← links)
• A deductive approach towards reasoning about algebraic transition systems (Q1666122) (← links)
• Bellerophon: tactical theorem proving for hybrid systems (Q1687737) (← links)
• Formal verification and quantitative metrics of MPSoC data dynamics (Q1707342) (← links)
• A complete uniform substitution calculus for differential dynamic logic (Q1707599) (← links)
• Safe \& robust reachability analysis of hybrid systems (Q1786614) (← links)
• Affine systems of ODEs in Isabelle/HOL for hybrid-program verification (Q2038037) (← links)
• Verified interactive computation of definite integrals (Q2055881) (← links)
• A denotational semantics of simulink with higher-order UTP (Q2096416) (← links)
• Constructive hybrid games (Q2096468) (← links)
• Implicit definitions with differential equations for KeYmaera X (system description) (Q2104559) (← links)
• The possibilistic Horn non-clausal knowledge bases (Q2105624) (← links)
• A mechanically verified theory of contracts (Q2119969) (← links)
• Simulation of hybrid systems under Zeno behavior using numerical infinitesimals (Q2137361) (← links)
• Pegasus: sound continuous invariant generation (Q2147687) (← links)
• A Simulink-based software solution using the infinity computer methodology for higher order differentiation (Q2244122) (← links)
• Fifty years of Hoare's logic (Q2280214) (← links)
• \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic (Q2305408) (← links)
• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
• A formal framework for Hybrid Event B (Q2520616) (← links)
• Numerically-aided deductive safety proof for a powertrain control system (Q2520674) (← links)
• The refinement calculus of reactive systems (Q2672236) (← links)
• Towards a hybrid dynamic logic for hybrid dynamic systems (Q2867948) (← links)
• Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata (Q2964462) (← links)
• Logics of Dynamical Systems (Q2986778) (← links)
• Algebra, Coalgebra, and Minimization in Polynomial Differential Equations (Q2988361) (← links)
• Programming with Infinitesimals: A While-Language for Hybrid System Modeling (Q3012935) (← links)
• Rigorous Discretization of Hybrid Systems Using Process Calculi (Q3172859) (← links)
• Verification of Hybrid Systems (Q3176388) (← links)
• Axiomatizing Analog Algorithms (Q3188259) (← links)
• Rigorous Simulation-Based Analysis of Linear Hybrid Systems (Q3303914) (← links)
• Differential-algebraic Dynamic Logic for Differential-algebraic Programs (Q3406693) (← links)
• Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent (Q3454085) (← links)
• KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (Q3454120) (← links)
• Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems (Q3455848) (← links)
• Computing Differential Invariants of Hybrid Systems as Fixedpoints (Q3512492) (← links)
• KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) (Q3541700) (← links)
• Quantified Differential Dynamic Logic for Distributed Hybrid Systems (Q3586060) (← links)
• (Q5019670) (← 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)