On the public citation graph

Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability and Continuization

https://doi.org/10.1109/rtss.2015.26

0 signed · 40 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.1002/9781118122631openalex-snapshot

Optimal Control

inferredcites →https://doi.org/10.1007/978-3-319-13338-6_10openalex-snapshot

Assume-Guarantee Abstraction Refinement Meets Hybrid Systems

inferredcites →https://doi.org/10.1007/978-3-642-22110-1_30openalex-snapshot

SpaceEx: Scalable Verification of Hybrid Systems

inferredcites →https://doi.org/10.1007/978-3-642-39799-8_18openalex-snapshot

Flow*: An Analyzer for Non-linear Hybrid Systems

inferredcites →https://doi.org/10.1016/0005-1098(86)90039-7openalex-snapshot

Linear system theory and design

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-155860702-6/50016-8openalex-snapshot

Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

inferredcites →https://doi.org/10.1016/s0890-5401(03)00067-1openalex-snapshot

Hybrid I/O automata

inferredcites →https://doi.org/10.1109/9.867021openalex-snapshot

Quantized feedback stabilization of linear systems

inferredcites →https://doi.org/10.1109/cacsd.2004.1393890openalex-snapshot

YALMIP : a toolbox for modeling and optimization in MATLAB

inferredcites →https://doi.org/10.1109/cdc.2011.6161264openalex-snapshot

Stability of digitally interconnected linear systems

inferredcites →https://doi.org/10.1109/iccad.2011.6105400openalex-snapshot

Formal verification of phase-locked loops using reachability analysis and continuization

inferredcites →https://doi.org/10.1109/mcs.2003.1172829openalex-snapshot

From control models to real-time code using Giotto

inferredcites →https://doi.org/10.1109/mcs.2003.1200240openalex-snapshot

How does control timing affect performance? Analysis and simulation of timing using Jitterbug and TrueTime

inferredcites →https://doi.org/10.1109/rtss.2012.70openalex-snapshot

Taylor Model Flowpipe Construction for Non-linear Hybrid Systems

inferredcites →https://doi.org/10.1109/tc.2010.84openalex-snapshot

Generating Reliable Code from Hybrid-Systems Models

inferredcites →https://doi.org/10.1145/2185632.2185643openalex-snapshot

Avoiding geometric intersection operations in reachability analysis of hybrid systems

inferredcites →https://doi.org/10.1145/225058.225162openalex-snapshot

What's decidable about hybrid automata?

inferredcites →https://doi.org/10.1145/2331147.2331163openalex-snapshot

Verification of Periodically Controlled Hybrid Systems

inferredcites →https://doi.org/10.1145/2507771.2507783openalex-snapshot

Formal verification of phase-locked loops using reachability analysis and continuization

inferredcites →https://doi.org/10.1145/2562059.2562134openalex-snapshot

A bounded model checking tool for periodic sample-hold systems

inferredcites →https://doi.org/10.1145/2562059.2562140openalex-snapshot

Powertrain control verification benchmark

inferredcites →https://doi.org/10.1145/2728606.2728630openalex-snapshot

HYST

inferredcites →https://doi.org/10.1145/321738.321743openalex-snapshot

Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

inferredcites →https://doi.org/10.29007/1kq2openalex-snapshot

Progress on Powertrain Verification Challenge with C2E2

What points at this work

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

inferred← citeshttps://doi.org/10.1007/978-3-319-65765-3_8openalex-snapshot

Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata

inferred← citeshttps://doi.org/10.1007/s10009-017-0458-1openalex-snapshot

Hybrid automata: from verification to implementation

inferred← citeshttps://doi.org/10.1049/iet-cps.2016.0042openalex-snapshot

Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata

inferred← citeshttps://doi.org/10.1049/iet-cps.2018.5017openalex-snapshot

Simulation‐based verification of bounded‐horizon safety for hybrid systems using dynamic number of simulations

inferred← citeshttps://doi.org/10.1089/cmb.2024.0752openalex-snapshot

Subject-Specific Dosage Estimation for Primary Hypothyroidism Using Sparse Data

inferred← citeshttps://doi.org/10.1109/cca.2016.7587948openalex-snapshot

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP

inferred← citeshttps://doi.org/10.1109/les.2020.3035560openalex-snapshot

SMT-Based Verification of Safety-Critical Embedded Control Software

inferred← citeshttps://doi.org/10.1145/2968478.2968490openalex-snapshot

Verifying cyber-physical systems by combining software model checking with hybrid systems reachability

inferred← citeshttps://doi.org/10.1145/3365365.3382200openalex-snapshot

Dynamics-aware subspace identification for decomposed aggregation in the reachability analysis of hybrid automata

inferred← citeshttps://doi.org/10.1145/3576046openalex-snapshot

Control Performance Analysis of Automotive Cyber-physical Systems: A Study on Efficient Formal Verification

inferred← citeshttps://doi.org/10.29007/8nq6openalex-snapshot

Analysis of Real-Time Control Systems using First-Order Continuization

inferred← citeshttps://doi.org/10.29007/c4zlopenalex-snapshot

Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing

inferred← citeshttps://doi.org/10.29007/x211openalex-snapshot

Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis

inferred← citeshttps://doi.org/10.3990/1.9789036551991openalex-snapshot

Modeling and analysis of sampled-data cyber-physical systems: using hybrid automata with clocked linear dynamics

inferred← citeshttps://doi.org/10.48550/arxiv.1810.01989openalex-snapshot

Verification for Machine Learning, Autonomy, and Neural Networks Survey

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.