On the public citation graph

Model-based synthesis of control software from system-level formal specifications

https://doi.org/10.1145/2559934
0 signed · 95 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1006/jcss.1998.1581openalex-snapshot
What's Decidable about Hybrid Automata?
inferredcites →https://doi.org/10.1007/11539452_9openalex-snapshot
Efficient On-the-Fly Algorithms for the Analysis of Timed Games
inferredcites →https://doi.org/10.1007/11730637_4openalex-snapshot
Behavioural Approximations for Restricted Linear Differential Hybrid Automata
inferredcites →https://doi.org/10.1007/11813040_1openalex-snapshot
The Embedded Systems Design Challenge
inferredcites →https://doi.org/10.1007/3-540-48983-5_6openalex-snapshot
As Soon as Possible: Time Optimal Control for Timed Automata
inferredcites →https://doi.org/10.1007/3-540-63165-8_213openalex-snapshot
Discrete-time control for rectangular hybrid automata
inferredcites →https://doi.org/10.1007/978-3-540-24743-2_9openalex-snapshot
A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems
inferredcites →https://doi.org/10.1007/978-3-540-30080-9_1openalex-snapshot
Decision Problems for Timed Automata: A Survey
inferredcites →https://doi.org/10.1007/978-3-540-31954-2_4openalex-snapshot
The Discrete Time Behavior of Lazy Linear Hybrid Automata
inferredcites →https://doi.org/10.1007/978-3-540-71410-1_10openalex-snapshot
Synthesis of Asynchronous Systems
inferredcites →https://doi.org/10.1007/978-3-540-73368-3_12openalex-snapshot
On Synthesizing Controllers from Bounded-Response Properties
inferredcites →https://doi.org/10.1007/978-3-540-79142-3_10openalex-snapshot
Automated Generation of Optimal Controllers through Model Checking Techniques
inferredcites →https://doi.org/10.1007/978-3-540-93900-9_25openalex-snapshot
Synthesizing Switching Logic Using Constraint Solving
inferredcites →https://doi.org/10.1007/978-3-642-05089-3_35openalex-snapshot
Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study
inferredcites →https://doi.org/10.1007/978-3-642-14295-6_20openalex-snapshot
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems
inferredcites →https://doi.org/10.1007/978-3-642-14295-6_38openalex-snapshot
Comfusy: A Tool for Complete Functional Synthesis
inferredcites →https://doi.org/10.1007/978-3-642-14295-6_49openalex-snapshot
PESSOA: A Tool for Embedded Controller Synthesis
inferredcites →https://doi.org/10.1007/978-3-642-14295-6_51openalex-snapshot
Quantifier Elimination by Lazy Model Enumeration
inferredcites →https://doi.org/10.1007/978-3-642-22110-1_20openalex-snapshot
Quantitative Synthesis for Concurrent Programs
inferredcites →https://doi.org/10.1007/978-3-642-22110-1_33openalex-snapshot
Interactive Synthesis of Code Snippets
inferredcites →https://doi.org/10.1007/978-3-642-22110-1_52openalex-snapshot
Synthia: Verification and Synthesis for Timed Automata
inferredcites →https://doi.org/10.1007/978-3-642-22110-1_56openalex-snapshot
Relational Abstractions for Continuous and Hybrid Systems
inferredcites →https://doi.org/10.1007/978-3-642-32943-2_19openalex-snapshot
Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems
inferredcites →https://doi.org/10.1007/bfb0032003openalex-snapshot
Prom timed to hybrid systems
inferredcites →https://doi.org/10.1007/bfb0035790openalex-snapshot
On the synthesis of an asynchronous reactive module
inferredcites →https://doi.org/10.1007/s10009-007-0062-xopenalex-snapshot
PHAVer: algorithmic verification of hybrid systems past HyTech
inferredcites →https://doi.org/10.1007/s100090050008openalex-snapshot
HYTECH: a model checker for hybrid systems
inferredcites →https://doi.org/10.1007/s10107-003-0433-3openalex-snapshot
Safe bounds in linear and mixed-integer linear programming
inferredcites →https://doi.org/10.1007/s10703-007-0044-3openalex-snapshot
Abstractions for hybrid systems
inferredcites →https://doi.org/10.1007/s10703-009-0084-yopenalex-snapshot
Automating the addition of fault tolerance with discrete controller synthesis
inferredcites →https://doi.org/10.1016/0304-3975(94)00202-topenalex-snapshot
The algorithmic analysis of hybrid systems
inferredcites →https://doi.org/10.1016/b978-0-08-096932-9.10014-6openalex-snapshot
Web cases
inferredcites →https://doi.org/10.1016/j.sysconle.2011.02.002openalex-snapshot
Symbolic approximate time-optimal control
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/32.489079openalex-snapshot
Automatic symbolic verification of embedded systems
inferredcites →https://doi.org/10.1109/5.871304openalex-snapshot
Discrete abstractions of hybrid systems
inferredcites →https://doi.org/10.1109/63.484413openalex-snapshot
Development of a fuzzy logic controller for DC/DC converters: design, computer simulation, and experimental evaluation
inferredcites →https://doi.org/10.1109/9.273337openalex-snapshot
Numerical nonlinear regulator design
inferredcites →https://doi.org/10.1109/ase.1999.802292openalex-snapshot
Automatic synthesis of control software for an industrial automation control system
inferredcites →https://doi.org/10.1109/cdc.1996.572981openalex-snapshot
Optimal finite state supervisory control
inferredcites →https://doi.org/10.1109/cdc.1997.649708openalex-snapshot
The synthesis of controllers for linear hybrid automata
inferredcites →https://doi.org/10.1109/cdc.1997.652410openalex-snapshot
On computing optimal controllers for finite state systems
inferredcites →https://doi.org/10.1109/cdc.2001.981012openalex-snapshot
Proceedings of the 40th IEEE Conference on Decision and Control
inferredcites →https://doi.org/10.1109/cdc.2007.4434911openalex-snapshot
Symbolic models for nonlinear control systems using approximate bisimulation
inferredcites →https://doi.org/10.1109/cdc.2011.6161190openalex-snapshot
Revisiting synthesis of switching controllers for Linear Hybrid systems
inferredcites →https://doi.org/10.1109/cdc.2012.6426260openalex-snapshot
Automatic control software synthesis for quantized discrete time hybrid systems
inferredcites →https://doi.org/10.1109/hase.1999.809490openalex-snapshot
Formally modeling a metal processing plant and its closed loop specifications
inferredcites →https://doi.org/10.1109/icfem.1998.730577openalex-snapshot
Automatic synthesis of controllers from formal specifications
inferredcites →https://doi.org/10.1109/jproc.2002.805829openalex-snapshot
Taming heterogeneity - the Ptolemy approach
inferredcites →https://doi.org/10.1109/pesc.2004.1354830openalex-snapshot
A 480-MHz, multi-phase interleaved buck DC-DC converter with hysteretic control
inferredcites →https://doi.org/10.1109/pesc.2008.4592345openalex-snapshot
Integrating reliability into the design of fault-tolerant power electronics systems
inferredcites →https://doi.org/10.1109/tac.2005.858689openalex-snapshot
The sector bound approach to quantized feedback control
inferredcites →https://doi.org/10.1109/tac.2009.2034922openalex-snapshot
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
inferredcites →https://doi.org/10.1109/tc.1986.1676819openalex-snapshot
Graph-Based Algorithms for Boolean Function Manipulation
inferredcites →https://doi.org/10.1109/tpel.2008.924843openalex-snapshot
Proximate Time-Optimal Digital Control for Synchronous Buck DC–DC Converters
inferredcites →https://doi.org/10.1137/0325013openalex-snapshot
Supervisory Control of a Class of Discrete Event Processes
inferredcites →https://doi.org/10.1145/1132357.1132363openalex-snapshot
Predicate abstraction for reachability analysis of hybrid systems
inferredcites →https://doi.org/10.1145/1706299.1706319openalex-snapshot
From Boolean to quantitative notions of correctness
inferredcites →https://doi.org/10.1145/1706299.1706337openalex-snapshot
From program verification to program synthesis
inferredcites →https://doi.org/10.1145/1795194.1795198openalex-snapshot
Synthesizing switching logic for safety and dwell-time requirements
inferredcites →https://doi.org/10.1145/1879021.1879062openalex-snapshot
Quantitative system validation in model driven design
inferredcites →https://doi.org/10.1145/1993316.1993557openalex-snapshot
Path-based inductive synthesis for program inversion
inferredcites →https://doi.org/10.1145/1993498.1993506openalex-snapshot
Synthesis of loop-free programs
inferredcites →https://doi.org/10.1145/1993498.1993557openalex-snapshot
Path-based inductive synthesis for program inversion
inferredcites →https://doi.org/10.1145/2038642.2038660openalex-snapshot
Synthesis of optimal switching logic for hybrid systems
inferredcites →https://doi.org/10.1145/2076450.2076472openalex-snapshot
Software synthesis procedures
inferredcites →https://doi.org/10.1145/2380356.2380398openalex-snapshot
On model based synthesis of embedded control software
inferredcites →https://doi.org/10.1145/2559934openalex-snapshot
Model-based synthesis of control software from system-level formal specifications
inferredcites →https://doi.org/10.1145/75277.75293openalex-snapshot
On the synthesis of a reactive module
inferredcites →https://doi.org/10.1145/963778.963782openalex-snapshot
Synthesis of fault-tolerant concurrent programs
inferredcites →https://doi.org/10.1609/icaps.v19i1.13352openalex-snapshot
UPMurphi: A Tool for Universal Planning on PDDL+ Problems
inferredcites →https://doi.org/10.48550/arxiv.1105.5640openalex-snapshot
Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/9783527800728.ch15openalex-snapshot
System Design in the Cyber‐Physical Era
inferred← citeshttps://doi.org/10.1007/978-3-030-01851-1_29openalex-snapshot
An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks
inferred← citeshttps://doi.org/10.1007/978-3-319-16480-9_52openalex-snapshot
Computing Biological Model Parameters by Parallel Statistical Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-39176-7_4openalex-snapshot
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software
inferred← citeshttps://doi.org/10.1007/978-3-642-39176-7_5openalex-snapshot
On-the-Fly Control Software Synthesis
inferred← citeshttps://doi.org/10.1007/s00236-015-0239-9openalex-snapshot
Compositional construction of most general controllers
inferred← citeshttps://doi.org/10.1016/j.ipl.2017.02.001openalex-snapshot
On minimising the maximum expected verification time
inferred← citeshttps://doi.org/10.1080/08839514.2020.1843833openalex-snapshot
A Constraint Optimization–Based Sense and Response System for Interactive Business Performance Management
inferred← citeshttps://doi.org/10.1109/dsd.2015.35openalex-snapshot
User Flexibility Aware Price Policy Synthesis for Smart Grids
inferred← citeshttps://doi.org/10.1109/fmcad.2014.6987615openalex-snapshot
Patient-specific models from inter-patient biological models and clinical records
inferred← citeshttps://doi.org/10.1109/jproc.2015.2453253openalex-snapshot
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/pdp.2015.119openalex-snapshot
SyLVaaS: System Level Formal Verification as a Service
inferred← citeshttps://doi.org/10.1109/smartgridcomm.2014.7007745openalex-snapshot
Demand-aware price policy synthesis and verification services for Smart Grids
inferred← citeshttps://doi.org/10.1109/tac.2017.2694559openalex-snapshot
Linearizing Discrete-Time Hybrid Systems
inferred← citeshttps://doi.org/10.1109/tse.2021.3109842openalex-snapshot
Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification
inferred← citeshttps://doi.org/10.1109/tse.2023.3298432openalex-snapshot
Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1142/s0218001417500124openalex-snapshot
Interactive WCET Prediction with Warning for Timeout Risk
inferred← citeshttps://doi.org/10.1145/3477039openalex-snapshot
Declarative Power Sequencing
inferred← citeshttps://doi.org/10.29007/g864openalex-snapshot
Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction.
inferred← citeshttps://doi.org/10.29007/grw9openalex-snapshot
Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network
inferred← citeshttps://doi.org/10.3233/fi-2016-1444openalex-snapshot
SyLVaaS: System Level Formal Verification as a Service*
inferred← citeshttps://doi.org/10.3390/info12050178openalex-snapshot
Visualisation of Control Software for Cyber-Physical Systems
showing the first 22 of 23 · page through all 23
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.