Pages that link to "Item:Q4930176"

The following pages link to Logical Analysis of Hybrid Systems (Q4930176):

Displaying 32 items.

• A Hoare logic for linear systems (Q469998) (← links)
• Construction of parametric barrier functions for dynamical systems using interval analysis (Q518335) (← links)
• ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465) (← links)
• The effect of immigrant communities coming from higher incidence tuberculosis regions to a host country (Q722232) (← links)
• Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (Q736916) (← links)
• Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
• Bellerophon: tactical theorem proving for hybrid systems (Q1687737) (← links)
• Languages and models for hybrid automata: a coalgebraic perspective (Q1786567) (← links)
• Limit cycle synthesis of multi-modal and 2-dimensional piecewise affine systems (Q1930962) (← links)
• Implicit definitions with differential equations for KeYmaera X (system description) (Q2104559) (← links)
• Moded and continuous abstract state machines (Q2115900) (← links)
• A model of systems with modes and mode transitions (Q2141292) (← links)
• Twenty Hopf-like bifurcations in piecewise-smooth dynamical systems (Q2144479) (← links)
• Introducing interval differential dynamic logic (Q2145261) (← links)
• Towards physical hybrid systems (Q2305415) (← links)
• Generating invariants for non-linear hybrid systems (Q2355695) (← links)
• An exercise on the generation of many-valued dynamic logics (Q2374313) (← links)
• Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (Q2402231) (← links)
• Applying differential dynamic logic to reconfigurable biological networks (Q2411314) (← links)
• \(\epsilon\)-semantics computations on biological systems (Q2453211) (← links)
• A formal framework for Hybrid Event B (Q2520616) (← links)
• A Formal Model for a Hybrid Programming Language (Q2814619) (← links)
• Relating Bisimulations with Attractors in Boolean Network Models (Q2823013) (← links)
• A practical hybrid predictive control algorithm for a low-temperature thermosolar plant (Q2826791) (← links)
• Pliant Modalities in Hybrid Event-B (Q2842625) (← links)
• Towards a Modeling Language for Cyber-Physical Systems (Q2842648) (← links)
• Towards a UTP Semantics for Modelica (Q2971175) (← links)
• Verification of Hybrid Systems (Q3176388) (← links)
• KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (Q3454120) (← links)
• (Q5009436) (← links)
• A Survey on Analog Models of Computation (Q5024572) (← links)
• Differential Game Logic (Q5277902) (← links)