On the public citation graph
A modular visual model for hybrid systems
0 signed · 42 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-55092-5_32openalex-snapshot
Timed and Hybrid Statecharts and their textual representation
inferredcites →https://doi.org/10.1007/3-540-63141-0_6openalex-snapshot
Modularity for timed and hybrid systems
inferredcites →https://doi.org/10.1007/bfb0014722openalex-snapshot
Using HyTech to verify an automotive control System
inferredcites →https://doi.org/10.1007/bfb0014732openalex-snapshot
Functional specification of real-time and hybrid systems
inferredcites →https://doi.org/10.1007/bfb0033566openalex-snapshot
A unified framework for hybrid control
inferredcites →https://doi.org/10.1016/0167-6423(87)90035-9openalex-snapshot
Statecharts: a visual formalism for complex systems
inferredcites →https://doi.org/10.1016/0304-3975(94)00202-topenalex-snapshot
The algorithmic analysis of hybrid systems
inferredcites →https://doi.org/10.1023/a:1016001318739openalex-snapshot
Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts
inferredcites →https://doi.org/10.5860/choice.32-2180openalex-snapshot
Real-time object-oriented modeling
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/smr.2301openalex-snapshot
Language evolution and healthiness for critical cyber‐physical systems
inferred← citeshttps://doi.org/10.1007/1-4020-4543-3_34openalex-snapshot
HYBRID UML COMPONENTS FOR THE DESIGN OF COMPLEX SELF-OPTIMIZING MECHATRONIC SYSTEMS
inferred← citeshttps://doi.org/10.1007/1-4020-7991-5_20openalex-snapshot
Refinement of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/11663430_8openalex-snapshot
Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML
inferred← citeshttps://doi.org/10.1007/3-540-45351-2_7openalex-snapshot
Compositional Refinement for Hierarchical Hybrid Systems
inferred← citeshttps://doi.org/10.1007/3-540-45426-8_6openalex-snapshot
An Environment for the Integrated Modelling of Systems with Complex Continuous and Discrete Dynamics
inferred← citeshttps://doi.org/10.1007/3-540-45873-5_32openalex-snapshot
Discrete-Time Refinement of Hybrid Automata
inferred← citeshttps://doi.org/10.1007/3-540-46430-1_5openalex-snapshot
Modular Specification of Hybrid Systems in Charon
inferred← citeshttps://doi.org/10.1007/978-3-642-24349-3_1openalex-snapshot
System Behaviour Models with Discrete and Dense Time
inferred← citeshttps://doi.org/10.1007/bfb0055330openalex-snapshot
Formal Techniques in Real-Time and Fault-Tolerant Systems
inferred← citeshttps://doi.org/10.1007/s10009-005-0206-9openalex-snapshot
Towards a “Synchronous Reactive” UML profile?
inferred← citeshttps://doi.org/10.1007/s10009-008-0067-0openalex-snapshot
Tool support for the design of self-optimizing mechatronic multi-agent systems
inferred← citeshttps://doi.org/10.1016/j.jlap.2005.10.004openalex-snapshot
Compositional modeling and refinement for hierarchical hybrid systems
inferred← citeshttps://doi.org/10.1016/j.jvlc.2006.10.002openalex-snapshot
A survey of approaches for the visual model-driven development of next generation software-intensive systems
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.2020.102404openalex-snapshot
Automated urban train control with hybrid Event-B: ‘Tackling’ the rugby club problem
inferred← citeshttps://doi.org/10.1016/j.tele.2013.09.006openalex-snapshot
Commons-based peer production and digital fabrication: The case of a RepRap-based, Lego-built 3D printing-milling machine
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80439-6openalex-snapshot
Modifying Esterel Concepts to Model Hybrid Systems
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80631-0openalex-snapshot
Prototyping of Hybrid Systems – From HyCharts to Hybrid Data-Flow Graphs
inferred← citeshttps://doi.org/10.1023/a:1016001318739openalex-snapshot
Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts
inferred← citeshttps://doi.org/10.1023/b:form.0000026091.03793.cfopenalex-snapshot
Properties of Hybrid Systems—A Computer Science Perspective
inferred← citeshttps://doi.org/10.1109/vlhcc.2005.68openalex-snapshot
Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in MECHATRONIC UML
inferred← citeshttps://doi.org/10.1145/1029894.1029920openalex-snapshot
Modular design and verification of component-based mechatronic systems with online-reconfiguration
inferred← citeshttps://doi.org/10.1145/325694.325746openalex-snapshot
Modular refinement of hierarchic reactive machines
inferred← citeshttps://doi.org/10.1177/0037549710366824openalex-snapshot
A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems
inferred← citeshttps://doi.org/10.14279/depositonce-743openalex-snapshot
Time Partition Testing | Systematischer Test des kontinuierlichen Verhaltens von eingebetteten Systemen
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.