On the public citation graph
A formal description of hybrid systems
0 signed · 141 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-19020-1_17openalex-snapshot
Metric spaces as models for real-time concurrency
inferredcites →https://doi.org/10.1007/3-540-54233-7_136openalex-snapshot
CCS + time = an interleaving model for real time systems
inferredcites →https://doi.org/10.1007/3-540-55092-5_2openalex-snapshot
Duration specifications for shared processors
inferredcites →https://doi.org/10.1007/3-540-57318-6_23openalex-snapshot
An extended duration calculus for hybrid real-time systems
inferredcites →https://doi.org/10.1007/3-540-57318-6_28openalex-snapshot
An approach to the description and analysis of hybrid systems
inferredcites →https://doi.org/10.1007/3-540-57318-6_32openalex-snapshot
A dynamical simulation facility for hybrid systems
inferredcites →https://doi.org/10.1007/3-540-57318-6_35openalex-snapshot
Models for hybrid systems: Automata, topologies, controllability, observability
inferredcites →https://doi.org/10.1007/3-540-57318-6_37openalex-snapshot
Hybrid system modeling and autonomous control systems
inferredcites →https://doi.org/10.1007/bfb0033566openalex-snapshot
A unified framework for hybrid control
inferredcites →https://doi.org/10.1109/cdc.1994.411615openalex-snapshot
A unified framework for hybrid control
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-40911-4_3openalex-snapshot
Linking DC Together with TRSL
inferred← citeshttps://doi.org/10.1007/3-540-49163-5_17openalex-snapshot
Action Systems with Continuous Behaviour
inferred← citeshttps://doi.org/10.1007/3-540-65193-4_27openalex-snapshot
Engineering of real-time systems with an experiment in hybrid control
inferred← citeshttps://doi.org/10.1007/978-0-387-35358-6_24openalex-snapshot
Towards a Theory of Sequential Hybrid Programs
inferred← citeshttps://doi.org/10.1007/978-3-030-30146-0_35openalex-snapshot
Type-Based Modelling and Collaborative Programming for Control-Oriented Systems (Short Paper)
inferred← citeshttps://doi.org/10.1007/978-3-030-31038-7_6openalex-snapshot
Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow
inferred← citeshttps://doi.org/10.1007/978-3-030-31038-7_7openalex-snapshot
Hybrid Relations in Isabelle/UTP
inferred← citeshttps://doi.org/10.1007/978-3-030-63406-3_15openalex-snapshot
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement
inferred← citeshttps://doi.org/10.1007/978-3-030-63461-2_5openalex-snapshot
An Event-B Based Generic Framework for Hybrid Systems Formal Modelling
inferred← citeshttps://doi.org/10.1007/978-3-030-85315-0_9openalex-snapshot
A Mechanically Verified Theory of Contracts
inferred← citeshttps://doi.org/10.1007/978-3-030-91265-9_1openalex-snapshot
Translating a Large Subset of Stateflow to Hybrid CSP with Code Optimization
inferred← citeshttps://doi.org/10.1007/978-3-031-07727-2_7openalex-snapshot
Reachability Analysis and Simulation for Hybridised Event-B Models
inferred← citeshttps://doi.org/10.1007/978-3-031-17244-1_15openalex-snapshot
A Proof System for Cyber-Physical Systems with Shared-Variable Concurrency
inferred← citeshttps://doi.org/10.1007/978-3-031-17244-1_25openalex-snapshot
Machine-Checked Executable Semantics of Stateflow
inferred← citeshttps://doi.org/10.1007/978-3-031-21213-0_8openalex-snapshot
Translating CPS with Shared-Variable Concurrency in SpaceEx
inferred← citeshttps://doi.org/10.1007/978-3-031-27481-7_11openalex-snapshot
HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-66673-5_12openalex-snapshot
Case Study: Modeling, Simulation, Verification, and Code Generation of an Automatic Cruise Control System
inferred← citeshttps://doi.org/10.1007/978-3-319-06410-9_49openalex-snapshot
Formal Verification of a Descent Guidance Control Program of a Lunar Lander
inferred← citeshttps://doi.org/10.1007/978-3-319-07602-7_3openalex-snapshot
Super-Dense Computation in Verification of Hybrid CSP Processes
inferred← citeshttps://doi.org/10.1007/978-3-319-15317-9_15openalex-snapshot
Adding Formal Meanings to AADL with Hybrid Annex
inferred← citeshttps://doi.org/10.1007/978-3-319-24953-7_33openalex-snapshot
Formal Verification of Simulink/Stateflow Diagrams
inferred← citeshttps://doi.org/10.1007/978-3-319-25423-4_25openalex-snapshot
An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-25942-0_6openalex-snapshot
Extending Hybrid CSP with Probability and Stochasticity
inferred← citeshttps://doi.org/10.1007/978-3-319-29628-9_6openalex-snapshot
Combining Formal and Informal Methods in the Design of Spacecrafts
inferred← citeshttps://doi.org/10.1007/978-3-319-47016-0_13openalex-snapshot
MARS: A Toolkit for Modelling, Analysis, and Verification of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-48628-4_3openalex-snapshot
MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-48989-6_43openalex-snapshot
Approximate Bisimulation and Discretization of Hybrid CSP
inferred← citeshttps://doi.org/10.1007/978-3-319-51046-0_7openalex-snapshot
A Hybrid Relational Modelling Language
inferred← citeshttps://doi.org/10.1007/978-3-319-52228-9_3openalex-snapshot
Towards a UTP Semantics for Modelica
inferred← citeshttps://doi.org/10.1007/978-3-319-52228-9_4openalex-snapshot
A Two-Way Path Between Formal and Informal Design of Embedded Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-69483-2_7openalex-snapshot
Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus
inferred← citeshttps://doi.org/10.1007/978-3-540-40903-8_12openalex-snapshot
Formal Semantics of Hybrid Chi
inferred← citeshttps://doi.org/10.1007/978-3-642-15205-4_36openalex-snapshot
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-17164-2_1openalex-snapshot
A Calculus for Hybrid CSP
inferred← citeshttps://doi.org/10.1007/978-3-642-22110-1_4openalex-snapshot
Logic and Compositional Verification of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-29952-0_13openalex-snapshot
An Assume/Guarantee Based Compositional Calculus for Hybrid CSP
inferred← citeshttps://doi.org/10.1007/978-3-642-39718-9_16openalex-snapshot
A Transformation from p-π to MSVL
inferred← citeshttps://doi.org/10.1007/978-3-642-39718-9_2openalex-snapshot
A Clock-Based Framework for Construction of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-39721-9_5openalex-snapshot
Formal Modelling, Analysis and Verification of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-54108-7_14openalex-snapshot
Verifying Chinese Train Control System under a Combined Scenario by Theorem Proving
inferred← citeshttps://doi.org/10.1007/978-3-662-43613-4_10openalex-snapshot
Denial-of-Service Security Attack in the Continuous-Time World
inferred← citeshttps://doi.org/10.1007/978-981-13-1026-3_8openalex-snapshot
COSRDL: An Event-Driven Control-Oriented System Requirement Modeling Method
inferred← citeshttps://doi.org/10.1007/bf01211086openalex-snapshot
Duration calculus: Logical foundations
inferred← citeshttps://doi.org/10.1007/bfb0055355openalex-snapshot
Towards a formal semantics of verilog using duration calculus
inferred← citeshttps://doi.org/10.1007/s00165-017-0421-7openalex-snapshot
A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems
inferred← citeshttps://doi.org/10.1007/s10817-008-9103-8openalex-snapshot
Differential Dynamic Logic for Hybrid Systems
inferred← citeshttps://doi.org/10.1007/s11036-015-0671-7openalex-snapshot
SMT-Based Symbolic Encoding and Formal Analysis of HML Models
inferred← citeshttps://doi.org/10.1007/s11432-014-5150-4openalex-snapshot
A formal semantics for debugging synchronous message passing-based concurrent programs
inferred← citeshttps://doi.org/10.1007/s11432-015-5346-2openalex-snapshot
Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.09.041openalex-snapshot
Relating Hybrid Chi to Other Formalisms
inferred← citeshttps://doi.org/10.1016/j.entcs.2014.12.002openalex-snapshot
A Formal Framework for Hybrid Event B
inferred← citeshttps://doi.org/10.1016/j.jlap.2005.10.005openalex-snapshot
Syntax and consistent equation semantics of hybrid Chi
inferred← citeshttps://doi.org/10.1016/j.scico.2014.04.015openalex-snapshot
Formalizing hybrid systems with Event-B and the Rodin Platform
inferred← citeshttps://doi.org/10.1016/j.scico.2015.02.003openalex-snapshot
Core Hybrid Event-B I: Single Hybrid Event-B machines
inferred← citeshttps://doi.org/10.1016/j.scico.2017.12.011openalex-snapshot
Modelling, formal refinement and partitioning strategies for a small aircraft fuel pump system in Hybrid Event-B
inferred← citeshttps://doi.org/10.1016/j.scico.2018.11.006openalex-snapshot
A hierarchical verification approach to verify complex safety control systems based on STAMP
inferred← citeshttps://doi.org/10.1016/j.tcs.2021.11.008openalex-snapshot
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow
inferred← citeshttps://doi.org/10.1093/comjnl/bxw084openalex-snapshot
Modelling and Verifying Communication Failure of Hybrid Systems in HCSP
inferred← citeshttps://doi.org/10.1109/100.591646openalex-snapshot
Hybrid control approach to the peg-in hole problem
inferred← citeshttps://doi.org/10.1109/emsoft.2013.6658587openalex-snapshot
Verifying Simulink diagrams via a Hybrid Hoare Logic Prover
inferred← citeshttps://doi.org/10.1109/hase.2015.9openalex-snapshot
An Object-Oriented Language for Modeling of Hybrid Systems
inferred← citeshttps://doi.org/10.1109/iceccs.2014.32openalex-snapshot
A Refinement Calculus for Hybrid Systems
inferred← citeshttps://doi.org/10.1109/iceccs54210.2022.00023openalex-snapshot
Denotational and Algebraic Semantics for Cyber-physical Systems
inferred← citeshttps://doi.org/10.1109/icfem.1998.730571openalex-snapshot
Defining differentiation and integration in Z
inferred← citeshttps://doi.org/10.1109/icirt.2016.7588752openalex-snapshot
A model-based test case generation method for function testing of Train Control Systems
inferred← citeshttps://doi.org/10.1109/icycs.2008.164openalex-snapshot
Timed CSP for Safety Specification of Hybrid System
inferred← citeshttps://doi.org/10.1109/iri.2017.65openalex-snapshot
A Phenomenal Basis for Hybrid Modelling
inferred← citeshttps://doi.org/10.1109/isorc.2001.922851openalex-snapshot
An approach to modeling and verification of real-time systems
inferred← citeshttps://doi.org/10.1109/percomw.2014.6815195openalex-snapshot
Physically informed assertions for cyber physical systems development and debugging
inferred← citeshttps://doi.org/10.1109/qrs-c.2015.45openalex-snapshot
A Model Language for Describing Spatio-temporal Changes
inferred← citeshttps://doi.org/10.1109/qsic.2012.11openalex-snapshot
A Unified Modeling and Verifying Framework for Cyber Physical Systems
inferred← citeshttps://doi.org/10.1109/tase.2013.16openalex-snapshot
On Denotational Semantics of Spatial-Temporal Consistency Language -- STeC
inferred← citeshttps://doi.org/10.1109/tase52547.2021.00017openalex-snapshot
A Proof System for HRML with Extended Hoare Logic
inferred← citeshttps://doi.org/10.1109/tcad.2018.2857363openalex-snapshot
The Opacity of Real-Time Automata
inferred← citeshttps://doi.org/10.1109/wsc.2003.1261478openalex-snapshot
Relating Chi to hybrid automata
inferred← citeshttps://doi.org/10.1111/1468-0394.00227openalex-snapshot
Automating application software generation
inferred← citeshttps://doi.org/10.1142/s0218194022500103openalex-snapshot
Formal Modeling and Performance Evaluation for Hybrid Systems: A Probabilistic Hybrid Process Algebra-Based Approach
inferred← citeshttps://doi.org/10.1145/1967701.1967713openalex-snapshot
Quantified differential invariants
inferred← citeshttps://doi.org/10.1145/2038642.2038659openalex-snapshot
Computing semi-algebraic invariants for polynomial dynamical systems
inferred← citeshttps://doi.org/10.1145/3603288.3603295openalex-snapshot
Verification of Models with Black-box Components
inferred← citeshttps://doi.org/10.1145/3603288.3603296openalex-snapshot
Approximate Partial Order Reduction
inferred← citeshttps://doi.org/10.1145/3603288.3603297openalex-snapshot
Controller Synthesis for Linear Systems with Reach-avoid Specification
inferred← citeshttps://doi.org/10.1145/3631483.3631487openalex-snapshot
Unified Graphical Co-modelling, Analysis and Verification of Cyber-physical Systems by Combining AADL and Simulink/Stateflow
inferred← citeshttps://doi.org/10.1145/3696000openalex-snapshot
KBX: Verified Model Synchronization via Formal Bidirectional Transformation
inferred← citeshttps://doi.org/10.1145/3720478openalex-snapshot
HpC: A Calculus for Hybrid and Mobile Systems
inferred← citeshttps://doi.org/10.1145/3737698openalex-snapshot
Modeling and Verification of Hybrid Systems by Extending AADL
inferred← citeshttps://doi.org/10.1145/3783996openalex-snapshot
A Brief History of Formal Methods in China
inferred← citeshttps://doi.org/10.1145/3803555openalex-snapshot
Experiences from the European ProCoS Projects: Provably Correct Systems
inferred← citeshttps://doi.org/10.1145/3849090openalex-snapshot
MARS 2.0: A Toolchain for Designing Safety-Critical Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1184/r1/6587276.v1openalex-snapshot
A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems
inferred← citeshttps://doi.org/10.14236/ewic/nfm1998.2openalex-snapshot
A CSP Model for Hybrid Automata
inferred← citeshttps://doi.org/10.21236/ada543550openalex-snapshot
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
inferred← citeshttps://doi.org/10.2139/ssrn.5163630openalex-snapshot
Model Checking for a Hybrid Process Algebra
inferred← citeshttps://doi.org/10.2495/cr120021openalex-snapshot
HCSP formal modeling and verification method and its application in the hybrid characteristics of a high speed train control system
inferred← citeshttps://doi.org/10.2498/cit.2000.03.02openalex-snapshot
An Experiment in Design and Analysis of Real-Time Applications
inferred← citeshttps://doi.org/10.29007/35cfopenalex-snapshot
ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving
inferred← citeshttps://doi.org/10.29007/4lxfopenalex-snapshot
ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving
inferred← citeshttps://doi.org/10.29007/57g4openalex-snapshot
ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving
inferred← citeshttps://doi.org/10.29007/bdq9openalex-snapshot
ARCH-COMP20 Category Report:Hybrid Systems Theorem Proving
inferred← citeshttps://doi.org/10.29007/nrv8openalex-snapshot
ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving
inferred← citeshttps://doi.org/10.29007/vjh3openalex-snapshot
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving
inferred← citeshttps://doi.org/10.48550/arxiv.1205.4788openalex-snapshot
Dynamic Logics of Dynamical Systems
inferred← citeshttps://doi.org/10.48550/arxiv.1304.6498openalex-snapshot
Apricot - An Object-Oriented Modeling Language for Hybrid Systems
inferred← citeshttps://doi.org/10.48550/arxiv.1403.6367openalex-snapshot
A Framework for Hybrid Systems with Denial-of-Service Security Attack
inferred← citeshttps://doi.org/10.48550/arxiv.1910.11232openalex-snapshot
Overview of Logical Foundations of Cyber-Physical Systems
inferred← citeshttps://doi.org/10.5555/1030818.1030904openalex-snapshot
Hybrid dynamic systems: relating Chi to hybrid automata
inferred← citeshttps://doi.org/10.5555/2555754.2555763openalex-snapshot
Verifying simulink diagrams via a hybrid hoare logic prover
inferred← citeshttps://doi.org/10.6100/ir524751openalex-snapshot
A language and simulator for hybrid systems
inferred← citeshttps://doi.org/10.70675/253a29c1z7c79z4e3azb81eza30de789df29openalex-snapshot
Correct-by-Construction Design of Hybrid Systems Based on Refinement and Proof
inferred← citeshttps://doi.org/10.70675/2c74c3e6zd08ez48f3z8ca3z817c32cab8beopenalex-snapshot
Parallelism and modular proof in differential dynamic logic
inferred← citeshttps://doi.org/10.70675/3a84621dzd135z4c3dz949az517fa8929160openalex-snapshot
On the mechanized verification of the meta-theory of contracts and its instantiation to differential dynamic logic
inferred← citeshttps://doi.org/10.70675/e76f96dfze476z4ed2za9b6z254be02eacaaopenalex-snapshot
A correct by construction approach for the modeling and the verification of cyber-physical systems in Event-B
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.