On the public citation graph
Using HyTech to verify an automotive control System
0 signed · 60 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-60045-0_53openalex-snapshot
Algorithmic analysis of nonlinear hybrid systems
inferredcites →https://doi.org/10.1007/3-540-60045-0_64openalex-snapshot
Automated analysis of an audio control protocol
inferredcites →https://doi.org/10.1007/bfb0020961openalex-snapshot
Linear phase-portrait approximations for nonlinear hybrid systems
inferredcites →https://doi.org/10.1007/bfb0027241openalex-snapshot
Using HyTech to synthesize control parameters for a steam boiler
inferredcites →https://doi.org/10.1016/0005-1098(90)90061-lopenalex-snapshot
Feedback control systems
inferredcites →https://doi.org/10.1016/0304-3975(94)00202-topenalex-snapshot
The algorithmic analysis of hybrid systems
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/stvr.1505openalex-snapshot
Extending model checkers for hybrid system verification: the case study of SPIN
inferred← citeshttps://doi.org/10.1006/jcss.1998.1581openalex-snapshot
What's Decidable about Hybrid Automata?
inferred← citeshttps://doi.org/10.1007/0-8176-4404-0_21openalex-snapshot
An Introduction to Hybrid Automata
inferred← citeshttps://doi.org/10.1007/3-540-45046-7_4openalex-snapshot
Managing Evolution Using Cooperative Designs and a Reflective Architecture
inferred← citeshttps://doi.org/10.1007/3-540-46419-0_11openalex-snapshot
Symbolic Model Checking for Rectangular Hybrid Systems
inferred← citeshttps://doi.org/10.1007/3-540-46430-1_14openalex-snapshot
Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods
inferred← citeshttps://doi.org/10.1007/3-540-46430-1_18openalex-snapshot
A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System
inferred← citeshttps://doi.org/10.1007/3-540-48249-0_6openalex-snapshot
Safety Analysis Techniques for Validating Formal Models during Verification
inferred← citeshttps://doi.org/10.1007/3-540-48983-5_7openalex-snapshot
Verification of Hybrid Systems via Mathematical Programming
inferred← citeshttps://doi.org/10.1007/3-540-60045-0_53openalex-snapshot
Algorithmic analysis of nonlinear hybrid systems
inferred← citeshttps://doi.org/10.1007/3-540-63166-6_48openalex-snapshot
HyTech: A model checker for hybrid systems
inferred← citeshttps://doi.org/10.1007/3-540-64358-3_35openalex-snapshot
Automotive control revisited linear inequalities as approximation of reachable sets
inferred← citeshttps://doi.org/10.1007/3-540-64358-3_44openalex-snapshot
Formal verification of safety-critical hybrid systems
inferred← citeshttps://doi.org/10.1007/978-1-4020-4998-9_9openalex-snapshot
Modeling Uncertainty in Nonlinear Analog Systems with Affine Arithmetic
inferred← citeshttps://doi.org/10.1007/978-1-4471-0853-5_18openalex-snapshot
Verification of Logic Controllers for Continuous Plants
inferred← citeshttps://doi.org/10.1007/978-3-031-63501-4_11openalex-snapshot
Uniform Substitution for Differential Refinement Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-24743-2_22openalex-snapshot
Benchmarks for Hybrid Systems Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-59615-5_13openalex-snapshot
The Theory of Hybrid Automata
inferred← citeshttps://doi.org/10.1007/bfb0054178openalex-snapshot
Formal design and analysis of a gear controller
inferred← citeshttps://doi.org/10.1007/bfb0055338openalex-snapshot
A modular visual model for hybrid systems
inferred← citeshttps://doi.org/10.1007/bfb0055350openalex-snapshot
An algorithm for the approximative analysis of rectangular automata
inferred← citeshttps://doi.org/10.1007/s100090050006openalex-snapshot
Continuous modeling of real-time and hybrid systems: from concepts to tools
inferred← citeshttps://doi.org/10.1007/s100090050008openalex-snapshot
HYTECH: a model checker for hybrid systems
inferred← citeshttps://doi.org/10.1007/s100090100048openalex-snapshot
Formal design and analysis of a gear controller
inferred← citeshttps://doi.org/10.1016/j.conengprac.2004.03.015openalex-snapshot
On the formal verification of hybrid systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)36124-4openalex-snapshot
Analysis of Hybrid Systems: State of the Art
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)44878-6openalex-snapshot
Visual Description of Hybrid Systems
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/9.664156openalex-snapshot
Algorithmic analysis of nonlinear hybrid systems
inferred← citeshttps://doi.org/10.1109/acc.1999.786493openalex-snapshot
Verification of an automotive active leveler
inferred← citeshttps://doi.org/10.1109/acc.2000.879486openalex-snapshot
A procedure for reachability analysis of rectangular automata
inferred← citeshttps://doi.org/10.1109/acc.2000.879488openalex-snapshot
Moving horizon estimation for hybrid systems
inferred← citeshttps://doi.org/10.1109/cacsd.1999.808632openalex-snapshot
Modular verification of a fault-tolerant active structure controller: an example
inferred← citeshttps://doi.org/10.1109/cdc.2001.980714openalex-snapshot
Some lessons from the HYTECH experience
inferred← citeshttps://doi.org/10.1109/ecbs.2000.839869openalex-snapshot
A co-operative object-oriented architecture for adaptive systems
inferred← citeshttps://doi.org/10.1109/emrts.2000.854004openalex-snapshot
Modelling and analysis of a commercial field bus protocol
inferred← citeshttps://doi.org/10.1109/icces.2011.6141006openalex-snapshot
Implementation of formally verified real time distributed systems: Simplified flight control system
inferred← citeshttps://doi.org/10.1109/jproc.2004.831197openalex-snapshot
Formal verification of timed systems: a survey and perspective
inferred← citeshttps://doi.org/10.1109/lics.1996.561342openalex-snapshot
The theory of hybrid automata
inferred← citeshttps://doi.org/10.1109/qsic.2011.11openalex-snapshot
Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator
inferred← citeshttps://doi.org/10.1109/tac.2002.802772openalex-snapshot
Moving horizon estimation for hybrid systems
inferred← citeshttps://doi.org/10.1109/wordsf.1999.842346openalex-snapshot
Requirements specification of an automotive system with hybrid sequence charts
inferred← citeshttps://doi.org/10.1145/1459352.1459354openalex-snapshot
Using formal specifications to support testing
inferred← citeshttps://doi.org/10.1145/2406336.2406342openalex-snapshot
Formal Validation of a Deterministic MAC Protocol
inferred← citeshttps://doi.org/10.29007/ct87openalex-snapshot
Motor-Transmission Drive System: a Benchmark Example for Safety Verification
inferred← citeshttps://doi.org/10.4271/980199openalex-snapshot
Advanced Design and Validation Techniques for Electronic Control Units
inferred← citeshttps://doi.org/10.48550/arxiv.1503.04928openalex-snapshot
Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems
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.