On the public citation graph
Using HyTech to synthesize control parameters for a steam boiler
0 signed · 89 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-57318-6_30openalex-snapshot
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
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/3-540-60472-3_13openalex-snapshot
A note on abstract interpretation strategies for hybrid automata
inferredcites →https://doi.org/10.1007/3-540-60472-3_14openalex-snapshot
HyTech: The Cornell Hybrid Technology Tool
inferredcites →https://doi.org/10.1007/bfb0020961openalex-snapshot
Linear phase-portrait approximations for nonlinear hybrid systems
inferredcites →https://doi.org/10.1007/bfb0027228openalex-snapshot
The steam boiler case study: Competition of formal program specification and development methods
inferredcites →https://doi.org/10.1007/bfb0027233openalex-snapshot
A steam-boiler control specification with statecharts and Z
inferredcites →https://doi.org/10.1007/bfb0027235openalex-snapshot
The Steam Boiler problem in Lustre
inferredcites →https://doi.org/10.1007/bfb0027238openalex-snapshot
Specifying and verifying the Steam Boiler Problem with SPIN
inferredcites →https://doi.org/10.1007/bfb0027243openalex-snapshot
Proving safety properties of the steam boiler controller
inferredcites →https://doi.org/10.1007/bfb0027245openalex-snapshot
Specifying optimal design for a steam-boiler system
inferredcites →https://doi.org/10.1007/bfb0027246openalex-snapshot
An object-oriented algebraic steam-boiler control specification
inferredcites →https://doi.org/10.1007/bfb0027248openalex-snapshot
VDM specification of the steam-boiler control using RSL notation
inferredcites →https://doi.org/10.1007/bfb0027249openalex-snapshot
Assertional specification and verification using PVS of the steam boiler control system
inferredcites →https://doi.org/10.1007/bfb0027250openalex-snapshot
Specifying and verifying the steam boiler control system with Time Extended LOTOS
inferredcites →https://doi.org/10.1007/bfb0027252openalex-snapshot
Steam-boiler control specification problem
inferredcites →https://doi.org/10.1016/0304-3975(94)00202-topenalex-snapshot
The algorithmic analysis of hybrid systems
inferredcites →https://doi.org/10.1109/32.489079openalex-snapshot
Automatic symbolic verification of embedded systems
inferredcites →https://doi.org/10.1145/512760.512770openalex-snapshot
Automatic discovery of linear restraints among variables of a program
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9781118569351.ch4openalex-snapshot
Behavioral Cartography of Timed Automata
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/11599555_34openalex-snapshot
Specification and Verification Techniques of Embedded Systems Using Probabilistic Linear Hybrid Automata
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-48119-2_14openalex-snapshot
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
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_47openalex-snapshot
Deductive verification of hybrid systems using step
inferred← citeshttps://doi.org/10.1007/978-0-387-35394-4_27openalex-snapshot
CMC: A Tool for Compositional Model-Checking of Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-10575-8_30openalex-snapshot
Verification of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-30734-3_8openalex-snapshot
A Compositional Approach to the Verification of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-48989-6_4openalex-snapshot
Compositional Parameter Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-540-31954-2_17openalex-snapshot
PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech
inferred← citeshttps://doi.org/10.1007/978-3-540-78929-1_14openalex-snapshot
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-00602-9_12openalex-snapshot
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
inferred← citeshttps://doi.org/10.1007/978-3-642-15349-5_5openalex-snapshot
Behavioral Cartography of Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-24288-5_4openalex-snapshot
Reachability Problems for Hybrid Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-26010-0_13openalex-snapshot
Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech
inferred← citeshttps://doi.org/10.1007/978-3-642-41309-4_10openalex-snapshot
Statistische Parametersynthese für hybride Systeme
inferred← citeshttps://doi.org/10.1007/978-3-642-59615-5_13openalex-snapshot
The Theory of Hybrid Automata
inferred← citeshttps://doi.org/10.1007/978-3-662-04558-9_17openalex-snapshot
HYTECH — Linear Hybrid Systems
inferred← citeshttps://doi.org/10.1007/bfb0014720openalex-snapshot
Multiobjective hybrid controller synthesis
inferred← citeshttps://doi.org/10.1007/bfb0014722openalex-snapshot
Using HyTech to verify an automotive control System
inferred← citeshttps://doi.org/10.1007/bfb0014739openalex-snapshot
Control synthesis for a class of hybrid systems subject to configuration-based safety constraints
inferred← citeshttps://doi.org/10.1007/s10009-007-0062-xopenalex-snapshot
PHAVer: algorithmic verification of hybrid systems past HyTech
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/s100090050007openalex-snapshot
Real-time system = discrete system + clock variables
inferred← citeshttps://doi.org/10.1007/s100090050008openalex-snapshot
HYTECH: a model checker for hybrid systems
inferred← citeshttps://doi.org/10.1007/s11241-014-9208-6openalex-snapshot
Parameter synthesis for hierarchical concurrent real-time systems
inferred← citeshttps://doi.org/10.1016/b978-0-12-803801-7.00012-2openalex-snapshot
Validation, Verification, and Formal Methods for Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1016/j.automatica.2017.01.037openalex-snapshot
Data-driven and model-based verification via Bayesian identification and reachability analysis
inferred← citeshttps://doi.org/10.1016/j.compbiolchem.2014.10.003openalex-snapshot
On the modelling and analysis of the regulatory network of dengue virus pathogenesis and clearance
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.12.029openalex-snapshot
An Inverse Method for Parametric Timed Automata
inferred← citeshttps://doi.org/10.1016/j.ress.2021.107933openalex-snapshot
Online quantitative safety monitoring approach for unattended train operation system considering stochastic factors
inferred← citeshttps://doi.org/10.1016/s0005-1098(98)00193-9openalex-snapshot
Controllers for reachability specifications for hybrid systems
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80670-4openalex-snapshot
Model Checking Semi-Continuous Time Models Using BDDs
inferred← citeshttps://doi.org/10.1049/ic:19980529openalex-snapshot
Modelling and analysis of broadcasting embedded control systems
inferred← citeshttps://doi.org/10.1109/9.664156openalex-snapshot
Algorithmic analysis of nonlinear hybrid systems
inferred← citeshttps://doi.org/10.1109/acc.2015.7170994openalex-snapshot
Data-driven property verification of grey-box systems by bayesian experiment design
inferred← citeshttps://doi.org/10.1109/cdc.1997.650602openalex-snapshot
Multi-objective hybrid controller synthesis: least restrictive controls
inferred← citeshttps://doi.org/10.1109/cdc.2001.980714openalex-snapshot
Some lessons from the HYTECH experience
inferred← citeshttps://doi.org/10.1109/cdc.2002.1184191openalex-snapshot
Analysis of Zeno behaviors in hybrid systems
inferred← citeshttps://doi.org/10.1109/cdc.2015.7403295openalex-snapshot
Data-driven and model-based verification: A Bayesian identification approach
inferred← citeshttps://doi.org/10.1109/ecbs.2000.839885openalex-snapshot
Formal parameters synthesis for track segments of a subway mesh
inferred← citeshttps://doi.org/10.1109/hcmdss-mdpnp.2007.36openalex-snapshot
Formal Methods Based Development of a PCA Infusion Pump Reference Model: Generic Infusion Pump (GIP) Project
inferred← citeshttps://doi.org/10.1109/iceccs.2012.29openalex-snapshot
Parameter synthesis for hierarchical concurrent real-time systems
inferred← citeshttps://doi.org/10.1109/lics.1996.561342openalex-snapshot
The theory of hybrid automata
inferred← citeshttps://doi.org/10.1109/tcbb.2011.110openalex-snapshot
On Parameter Synthesis by Parallel Model Checking
inferred← citeshttps://doi.org/10.1109/tsmca.2006.886378openalex-snapshot
Using Formal Modeling With an Automated Analysis Tool to Design and Parametrically Analyze a Multirobot Coordination Protocol: A Case Study
inferred← citeshttps://doi.org/10.1109/vlsid.2013.210openalex-snapshot
Model Checking Controllers with Predicate Inputs
inferred← citeshttps://doi.org/10.1142/s0129054109006905openalex-snapshot
AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
inferred← citeshttps://doi.org/10.1145/2535838.2535859openalex-snapshot
Bridging boolean and quantitative synthesis using smoothed proof search
inferred← citeshttps://doi.org/10.1145/570738.570752openalex-snapshot
Lifetime analysis of a sensor network with hybrid automata modelling
inferred← citeshttps://doi.org/10.1515/lpts-2016-0019openalex-snapshot
Invariant Control of the Technological Plants to Compensate an Impact of Main Disturbances Preemptively
inferred← citeshttps://doi.org/10.23919/ecc.1999.7099518openalex-snapshot
Hybrid control of gas compressors
inferred← citeshttps://doi.org/10.2478/v10314-012-0001-4openalex-snapshot
Invariant Method of Load Independent Pressure Control in Steam Boiler
inferred← citeshttps://doi.org/10.3166/ejc.7.400-415openalex-snapshot
Verifying Untimed and Timed Aspects of the Experimental Batch Plant
inferred← citeshttps://doi.org/10.4204/eptcs.39.7openalex-snapshot
IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata
inferred← citeshttps://doi.org/10.4230/oasics.syncop.2015.77openalex-snapshot
Parametric Verification of Weighted Systems
inferred← citeshttps://doi.org/10.47749/t/unicamp.2000.192362openalex-snapshot
Verificação e sintese de sistemas hibridos
inferred← citeshttps://doi.org/10.70675/66ea0809z2a39z4e5az8053z7bc2546457f9openalex-snapshot
An inverse method for the synthesis of timing parameters in concurrent 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.