On the public citation graph
Taylor Model Flowpipe Construction for Non-linear Hybrid Systems
0 signed · 234 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-46430-1_14openalex-snapshot
Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods
inferredcites →https://doi.org/10.1007/3-540-46430-1_27openalex-snapshot
Level Set Methods for Computation in Hybrid Systems
inferredcites →https://doi.org/10.1007/978-1-4419-0224-5openalex-snapshot
Verification and Control of Hybrid Systems: A Symbolic Approach
inferredcites →https://doi.org/10.1007/978-3-540-31954-2_19openalex-snapshot
Reachability of Uncertain Linear Systems Using Zonotopes
inferredcites →https://doi.org/10.1007/978-3-540-31954-2_37openalex-snapshot
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
inferredcites →https://doi.org/10.1007/978-3-540-78800-3_14openalex-snapshot
Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
inferredcites →https://doi.org/10.1007/978-3-642-02658-4_40openalex-snapshot
Reachability Analysis of Hybrid Systems Using Support Functions
inferredcites →https://doi.org/10.1007/978-3-642-03845-7_9openalex-snapshot
Computing Reachable States for Nonlinear Biological Models
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-662-03567-2_10openalex-snapshot
Zonotope Dynamics in Numerical Quality Control
inferredcites →https://doi.org/10.1007/s10107-003-0387-5openalex-snapshot
Semidefinite programming relaxations for semialgebraic problems
inferredcites →https://doi.org/10.1007/s10703-009-0079-8openalex-snapshot
Computing differential invariants of hybrid systems as fixedpoints
inferredcites →https://doi.org/10.1016/0304-3975(94)00202-topenalex-snapshot
The algorithmic analysis of hybrid systems
inferredcites →https://doi.org/10.1016/j.nahs.2010.05.010openalex-snapshot
Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
inferredcites →https://doi.org/10.1016/s0096-3003(98)10083-8openalex-snapshot
Validated solutions of initial value problems for ordinary differential equations
inferredcites →https://doi.org/10.1016/s1076-5670(08)70227-1openalex-snapshot
Dynamics of Particles and Fields
inferredcites →https://doi.org/10.1016/s1076-5670(08)x7018-1openalex-snapshot
Modern Map Methods in Particle Beam Physics
inferredcites →https://doi.org/10.1016/s1574-6526(06)80020-9openalex-snapshot
Continuous and Interval Constraints
inferredcites →https://doi.org/10.1023/a:1024467732637openalex-snapshot
Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models
inferredcites →https://doi.org/10.1109/10.68209openalex-snapshot
A semiclosed-loop algorithm for the control of blood glucose levels in diabetics
inferredcites →https://doi.org/10.1109/9.664154openalex-snapshot
Conflict resolution for air traffic management: a study in multiagent hybrid systems
inferredcites →https://doi.org/10.1109/acc.2002.1024794openalex-snapshot
Rigorous simulation of hybrid dynamic systems with symbolic and interval methods
inferredcites →https://doi.org/10.1109/cdc.1998.758642openalex-snapshot
Computing polyhedral approximations to flow pipes for dynamic systems
inferredcites →https://doi.org/10.1137/1.9780898717716openalex-snapshot
Introduction to Interval Analysis
inferredcites →https://doi.org/10.1137/1.9780898718232openalex-snapshot
Differential Dynamical Systems
inferredcites →https://doi.org/10.1145/1577190.1577206openalex-snapshot
Rigorous integration of flows and ODEs using taylor models
inferredcites →https://doi.org/10.1145/1755952.1755956openalex-snapshot
Accurate hybridization of nonlinear systems
inferredcites →https://doi.org/10.1145/1967701.1967722openalex-snapshot
A dynamic algorithm for approximate flow computations
inferredcites →https://doi.org/10.1145/2185632.2185643openalex-snapshot
Avoiding geometric intersection operations in reachability analysis of hybrid systems
inferredcites →https://doi.org/10.12732/ijdea.v10i4.178openalex-snapshot
SUPPRESSION OF THE WRAPPING EFFECT BY TAYLOR MODEL- BASED VERIFIED INTEGRATORS: LONG-TERM STABILIZATION BY PRECONDITIONING
inferredcites →https://doi.org/10.1590/s0101-82052007000100002openalex-snapshot
Bifurcation analysis of the Watt governor system
inferredcites →https://doi.org/10.1590/s1807-03022007000100002openalex-snapshot
Bifurcation analysis of the Watt governor system
inferredcites →https://doi.org/10.2337/diacare.8.6.553openalex-snapshot
Blood Glucose Control by Intermittent Loop Closure in the Basal Mode: Computer Simulation Studies with a Diabetic Model
inferredcites →https://doi.org/10.3182/20080706-5-kr-1001.01513openalex-snapshot
Reachability computation for hybrid systems with Ariadne
inferredcites →https://doi.org/10.3233/sat190012openalex-snapshot
Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure1
inferredcites →https://doi.org/10.5555/1998496.1998513openalex-snapshot
CalCS: SMT solving for non-linear convex constraints
inferredcites →https://doi.org/10.5555/1998496.1998514openalex-snapshot
Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems
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-030-00151-3_15openalex-snapshot
Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-13050-3_4openalex-snapshot
Formal Techniques for Verification and Testing of Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-17910-6_6openalex-snapshot
Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis
inferred← citeshttps://doi.org/10.1007/978-3-030-28423-7_8openalex-snapshot
Polytopic Trees for Verification of Learning-Based Controllers
inferred← citeshttps://doi.org/10.1007/978-3-030-32079-9_20openalex-snapshot
Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs
inferred← citeshttps://doi.org/10.1007/978-3-030-61739-4_4openalex-snapshot
Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model
inferred← citeshttps://doi.org/10.1007/978-3-030-67220-1_24openalex-snapshot
Cosimulation-Based Control Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-030-91265-9_14openalex-snapshot
$$\mathbf{OURS} $$: Over- and Under-Approximating Reachable Sets for Analytic Time-Invariant Differential Equations
inferred← citeshttps://doi.org/10.1007/978-3-031-06773-0_6openalex-snapshot
Reachability Analysis for Cyber-Physical Systems: Are We There Yet?
inferred← citeshttps://doi.org/10.1007/978-3-031-13185-1_24openalex-snapshot
Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement
inferred← citeshttps://doi.org/10.1007/978-3-031-13185-1_25openalex-snapshot
RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-16336-4_1openalex-snapshot
Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments
inferred← citeshttps://doi.org/10.1007/978-3-031-16336-4_10openalex-snapshot
Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-19135-0_4openalex-snapshot
Linearization, Model Reduction and Reachability in Nonlinear odes
inferred← citeshttps://doi.org/10.1007/978-3-031-19759-8_13openalex-snapshot
Efficient Estimation of Agent Networks
inferred← citeshttps://doi.org/10.1007/978-3-031-19762-8_7openalex-snapshot
Formally Verified Self-adaptation of an Incubator Digital Twin
inferred← citeshttps://doi.org/10.1007/978-3-031-22337-2_28openalex-snapshot
T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification
inferred← citeshttps://doi.org/10.1007/978-3-031-43835-6_12openalex-snapshot
On the Trade-Off Between Efficiency and Precision of Neural Abstraction
inferred← citeshttps://doi.org/10.1007/978-3-031-43835-6_5openalex-snapshot
A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-50521-8_4openalex-snapshot
Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training
inferred← citeshttps://doi.org/10.1007/978-3-031-68416-6_8openalex-snapshot
Dissimilarity for Linear Dynamical Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-71177-0_15openalex-snapshot
Switching Controller Synthesis for Hybrid Systems Against STL Formulas
inferred← citeshttps://doi.org/10.1007/978-3-031-75107-3_2openalex-snapshot
Optimality-Preserving Reduction of Chemical Reaction Networks
inferred← citeshttps://doi.org/10.1007/978-3-032-00828-2_20openalex-snapshot
Verifying Neural Network Controlled Systems by Combining Taylor Models and Linear Abstract Domains
inferred← citeshttps://doi.org/10.1007/978-3-032-10794-7_10openalex-snapshot
Using Bayesian Inference and Flowpipe Construction to Bound Predictions of Biogas Production at Wastewater Treatment Plants
inferred← citeshttps://doi.org/10.1007/978-3-032-25552-5_4openalex-snapshot
Reachability Specification Adaptation for Continuous Dynamical Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-02444-8_37openalex-snapshot
NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-05416-2_7openalex-snapshot
Counterexample Generation for Hybrid Automata
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-19249-9_23openalex-snapshot
Abstraction of Elementary Hybrid Systems by Variable Transformation
inferred← citeshttps://doi.org/10.1007/978-3-319-21690-4_34openalex-snapshot
Time-Aware Abstractions in HybridSal
inferred← citeshttps://doi.org/10.1007/978-3-319-23820-3_1openalex-snapshot
Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-319-25141-7_2openalex-snapshot
Current Challenges in the Verification of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-41528-4_25openalex-snapshot
Under-Approximating Backward Reachable Sets by Polytopes
inferred← citeshttps://doi.org/10.1007/978-3-319-41528-4_26openalex-snapshot
Parsimonious, Simulation Based Verification of Linear Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-48989-6_44openalex-snapshot
A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-63387-9_19openalex-snapshot
Lagrangian Reachabililty
inferred← citeshttps://doi.org/10.1007/978-3-319-63387-9_20openalex-snapshot
Simulation-Equivalent Reachability of Large Linear Systems with Inputs
inferred← citeshttps://doi.org/10.1007/978-3-319-63501-9_8openalex-snapshot
A Study of Model-Order Reduction Techniques for Verification
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/978-3-319-66706-5_16openalex-snapshot
Template Polyhedra with a Twist
inferred← citeshttps://doi.org/10.1007/978-3-319-95582-7_25openalex-snapshot
Vector Barrier Certificates and Comparison Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-96142-2_31openalex-snapshot
Inner and Outer Approximating Flowpipes for Delay Differential Equations
inferred← citeshttps://doi.org/10.1007/978-3-642-38856-9_2openalex-snapshot
Static Analysis in the Continuously Changing World
inferred← citeshttps://doi.org/10.1007/978-3-642-39799-8_18openalex-snapshot
Flow*: An Analyzer for Non-linear Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-39799-8_20openalex-snapshot
Abstraction Based Model-Checking of Stability of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-658-09994-7_3openalex-snapshot
An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis
inferred← citeshttps://doi.org/10.1007/978-3-662-46681-0_15openalex-snapshot
dReach: δ-Reachability Analysis for Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-662-54577-5_32openalex-snapshot
Rigorous Simulation-Based Analysis of Linear Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-662-54577-5_34openalex-snapshot
Counterexample-Guided Refinement of Template Polyhedra
inferred← citeshttps://doi.org/10.1007/s10009-026-00847-zopenalex-snapshot
Bridging hardware and software analysis with Btor2C: a word-level-circuit-to-C translator
inferred← citeshttps://doi.org/10.1007/s10009-026-00854-0openalex-snapshot
Optimality-preserving reduction of controlled chemical reaction networks
inferred← citeshttps://doi.org/10.1007/s10270-020-00858-7openalex-snapshot
Guaranteed master for interval-based cosimulation
inferred← citeshttps://doi.org/10.1007/s10703-016-0266-3openalex-snapshot
Reachability computation for polynomial dynamical systems
inferred← citeshttps://doi.org/10.1007/s10703-018-0323-1openalex-snapshot
Template polyhedra and bilinear optimization
inferred← citeshttps://doi.org/10.1007/s10703-024-00464-zopenalex-snapshot
Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement
inferred← citeshttps://doi.org/10.1007/s10703-025-00477-2openalex-snapshot
Linearization, model reduction and reachability in nonlinear odes
inferred← citeshttps://doi.org/10.1007/s11786-014-0204-yopenalex-snapshot
A CSP Versus a Zonotope-Based Method for Solving Guard Set Intersection in Nonlinear Hybrid Reachability
inferred← citeshttps://doi.org/10.1016/j.automatica.2016.12.013openalex-snapshot
Construction of parametric barrier functions for dynamical systems using interval analysis
inferred← citeshttps://doi.org/10.1016/j.entcs.2015.10.009openalex-snapshot
Monitoring Bounded LTL Properties Using Interval Analysis
inferred← citeshttps://doi.org/10.1016/j.ifacol.2017.08.1445openalex-snapshot
Detection of Mode Confusion in Human-Machine System Model with Temporal Information on Operations.
inferred← citeshttps://doi.org/10.1016/j.ifacol.2020.12.2344openalex-snapshot
Interval Reachability Analysis using Second-Order Sensitivity
inferred← citeshttps://doi.org/10.1016/j.ifacol.2020.12.2553openalex-snapshot
Reach-Set Estimation for DAE Systems under Uncertainty and Disturbances Using Trajectory Sensitivity and Logarithmic Norm
inferred← citeshttps://doi.org/10.1016/j.ifacol.2020.12.2589openalex-snapshot
Safety Verification for Impulsive Systems
inferred← citeshttps://doi.org/10.1016/j.nahs.2015.08.006openalex-snapshot
Change-of-bases abstractions for non-linear hybrid systems
inferred← citeshttps://doi.org/10.1016/j.nahs.2015.10.004openalex-snapshot
Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
inferred← citeshttps://doi.org/10.1016/j.nahs.2016.05.005openalex-snapshot
Bounded invariant verification for time-delayed nonlinear networked dynamical systems
inferred← citeshttps://doi.org/10.1016/j.nahs.2019.100826openalex-snapshot
Set-based control for disturbed piecewise affine systems with state and actuation constraints
inferred← citeshttps://doi.org/10.1016/j.nahs.2019.100837openalex-snapshot
An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems
inferred← citeshttps://doi.org/10.1016/j.nahs.2024.101491openalex-snapshot
Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis
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.1109/allerton58177.2023.10313451openalex-snapshot
Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems
inferred← citeshttps://doi.org/10.1109/asp-dac66049.2026.11420697openalex-snapshot
Flowmap Overapproximation for Linear Time-Varying Stochastic Systems
inferred← citeshttps://doi.org/10.1109/cdc.2013.6760488openalex-snapshot
A trajectory splicing approach to concretizing counterexamples for hybrid systems
inferred← citeshttps://doi.org/10.1109/cdc.2014.7039472openalex-snapshot
Computation of parametric barrier functions for dynamical systems using interval analysis
inferred← citeshttps://doi.org/10.1109/cdc.2017.8263905openalex-snapshot
Just scratching the surface: Partial exploration of initial values in reach-set computation
inferred← citeshttps://doi.org/10.1109/cdc.2018.8619647openalex-snapshot
Tight Continuous-Time Reachtubes for Lagrangian Reachability
inferred← citeshttps://doi.org/10.1109/cdc42340.2020.9304022openalex-snapshot
Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems
inferred← citeshttps://doi.org/10.1109/cdc56724.2024.10886696openalex-snapshot
State-Augmented Linear Games with Antagonistic Error for High-Dimensional, Nonlinear Hamilton-Jacobi Reachability
inferred← citeshttps://doi.org/10.1109/cpsna.2013.6614258openalex-snapshot
Enclosing the behavior of a hybrid system up to and beyond a Zeno point
inferred← citeshttps://doi.org/10.1109/emsoft.2013.6658604openalex-snapshot
Verification of annotated models from executions
inferred← citeshttps://doi.org/10.1109/emsoft.2015.7318258openalex-snapshot
Reachability of hybrid systems in space-time
inferred← citeshttps://doi.org/10.1109/emsoft.2015.7318279openalex-snapshot
Bounded error flowpipe computation of parameterized linear systems
inferred← citeshttps://doi.org/10.1109/fmcad.2014.6987596openalex-snapshot
Under-approximate flowpipes for non-linear continuous systems
inferred← citeshttps://doi.org/10.1109/icaa52185.2022.00010openalex-snapshot
On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers
inferred← citeshttps://doi.org/10.1109/iceccs.2019.00027openalex-snapshot
Safe Inputs Approximation for Black-Box Systems
inferred← citeshttps://doi.org/10.1109/icra40945.2020.9197416openalex-snapshot
Safety-Critical Rapid Aerial Exploration of Unknown Environments
inferred← citeshttps://doi.org/10.1109/iri.2018.00082openalex-snapshot
Context-Dependent Reachability Analysis for Hybrid Systems
inferred← citeshttps://doi.org/10.1109/iros45743.2020.9341122openalex-snapshot
ReachFlow: An Online Safety Assurance Framework for Waypoint-Following of Self-driving Cars
inferred← citeshttps://doi.org/10.1109/issre55969.2022.00034openalex-snapshot
A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation
inferred← citeshttps://doi.org/10.1109/iv48863.2021.9575938openalex-snapshot
Jerk-Minimized CILQR for Human-Like Driving on Two-Lane Roadway
inferred← citeshttps://doi.org/10.1109/jiot.2022.3141266openalex-snapshot
Resource-Aware Estimation and Control for Edge Robotics: A Set-Based Approach
inferred← citeshttps://doi.org/10.1109/jproc.2017.2779456openalex-snapshot
Semantics-Preserving Cosynthesis of Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/memocode57689.2022.9954600openalex-snapshot
Reach-Avoid Verification for Time-varying Systems with Uncertain Disturbances
inferred← citeshttps://doi.org/10.1109/models-c59198.2023.00087openalex-snapshot
Qualitative Tendencies for Hybrid System Simulation
inferred← citeshttps://doi.org/10.1109/ojcsys.2023.3256305openalex-snapshot
Provably Safe Reinforcement Learning via Action Projection Using Reachability Analysis and Polynomial Zonotopes
inferred← citeshttps://doi.org/10.1109/rtas58335.2023.00024openalex-snapshot
Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/rtss.2014.21openalex-snapshot
Real-Time Reachability for Verified Simplex Design
inferred← citeshttps://doi.org/10.1109/rtss.2015.26openalex-snapshot
Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability and Continuization
inferred← citeshttps://doi.org/10.1109/rtss.2016.011openalex-snapshot
Decomposed Reachability Analysis for Nonlinear Systems
inferred← citeshttps://doi.org/10.1109/rtss.2017.00035openalex-snapshot
Model Predictive Real-Time Monitoring of Linear Systems
inferred← citeshttps://doi.org/10.1109/synasc.2018.00020openalex-snapshot
Compositional Taylor Model Based Validated Integration
inferred← citeshttps://doi.org/10.1109/tac.2015.2491740openalex-snapshot
A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems
inferred← citeshttps://doi.org/10.1109/tac.2016.2615599openalex-snapshot
Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis
inferred← citeshttps://doi.org/10.1109/tac.2017.2694351openalex-snapshot
Underapproximating Backward Reachable Sets by Semialgebraic Sets
inferred← citeshttps://doi.org/10.1109/tac.2019.2923049openalex-snapshot
Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties
inferred← citeshttps://doi.org/10.1109/tac.2020.2977993openalex-snapshot
Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations
inferred← citeshttps://doi.org/10.1109/tac.2020.2994019openalex-snapshot
Over- and Under-Approximations of Reachable Sets With Series Representations of Evolution Functions
inferred← citeshttps://doi.org/10.1109/tac.2020.3024348openalex-snapshot
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
inferred← citeshttps://doi.org/10.1109/tac.2023.3274821openalex-snapshot
Reach-Avoid Verification Based on Convex Optimization
inferred← citeshttps://doi.org/10.1109/tac.2026.3661791openalex-snapshot
Conservative Linear Envelopes for Nonlinear, High-Dimensional, Hamilton–Jacobi Reachability
inferred← citeshttps://doi.org/10.1109/tcad.2018.2858383openalex-snapshot
Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming
inferred← citeshttps://doi.org/10.1109/tcad.2023.3331215openalex-snapshot
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems
inferred← citeshttps://doi.org/10.1145/2461328.2461358openalex-snapshot
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
inferred← citeshttps://doi.org/10.1145/2562059.2562113openalex-snapshot
Inner approximated reachability analysis
inferred← citeshttps://doi.org/10.1145/2562059.2562123openalex-snapshot
Parameter synthesis for polynomial biological models
inferred← citeshttps://doi.org/10.1145/2562059.2562126openalex-snapshot
Proofs from simulations and modular annotations
inferred← citeshttps://doi.org/10.1145/2562059.2562134openalex-snapshot
A bounded model checking tool for periodic sample-hold systems
inferred← citeshttps://doi.org/10.1145/2593458.2593471openalex-snapshot
Reducing the wrapping effect in flowpipe construction using pseudo-invariants
inferred← citeshttps://doi.org/10.1145/2723871openalex-snapshot
Real-Time Reachability for Verified Simplex Design
inferred← citeshttps://doi.org/10.1145/2739046openalex-snapshot
Safety and Progress for Distributed Cyber-Physical Systems with Unreliable Communication
inferred← citeshttps://doi.org/10.1145/2746266.2746274openalex-snapshot
Preventing Cyber-induced Irreversible Physical Damage to Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1145/2883817.2883837openalex-snapshot
Scalable Static Hybridization Methods for Analysis of Nonlinear Systems
inferred← citeshttps://doi.org/10.1145/2883817.2883838openalex-snapshot
Parallelotope Bundles for Polynomial Reachability
inferred← citeshttps://doi.org/10.1145/2883817.2883850openalex-snapshot
Computing Distances between Reach Flowpipes
inferred← citeshttps://doi.org/10.1145/3049797.3049814openalex-snapshot
Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters
inferred← citeshttps://doi.org/10.1145/3126522openalex-snapshot
Compositional Relational Abstraction for Nonlinear Hybrid Systems
inferred← citeshttps://doi.org/10.1145/3178126.3178133openalex-snapshot
Under-Approximating Reach Sets for Polynomial Continuous Systems
inferred← citeshttps://doi.org/10.1145/3302504.3311792openalex-snapshot
Numerical verification of affine systems with up to a billion dimensions
inferred← citeshttps://doi.org/10.1145/3302504.3311794openalex-snapshot
Inner and outer reachability for the verification of control systems
inferred← citeshttps://doi.org/10.1145/3302504.3311807openalex-snapshot
Reachability analysis for neural feedback systems using regressive polynomial rule inference
inferred← citeshttps://doi.org/10.1145/3359986.3361210openalex-snapshot
Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems
inferred← citeshttps://doi.org/10.1145/3365365.3382192openalex-snapshot
Utilizing dependencies to obtain subsets of reachable sets
inferred← citeshttps://doi.org/10.1145/3365365.3382194openalex-snapshot
Reachability analysis for hybrid systems with nonlinear guard sets
inferred← citeshttps://doi.org/10.1145/3365365.3382222openalex-snapshot
Synthesizing barrier certificates using neural networks
inferred← citeshttps://doi.org/10.1145/3419742openalex-snapshot
Verifying the Safety of Autonomous Systems with Neural Network Controllers
inferred← citeshttps://doi.org/10.1145/3447928.3456643openalex-snapshot
Adaptive parameter tuning for reachability analysis of nonlinear systems
inferred← citeshttps://doi.org/10.1145/3501710.3519524openalex-snapshot
Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
inferred← citeshttps://doi.org/10.1145/3609125openalex-snapshot
Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning
inferred← citeshttps://doi.org/10.1145/3626099openalex-snapshot
Evolution Function Based Reach-Avoid Verification for Time-varying Systems with Disturbances
inferred← citeshttps://doi.org/10.1145/3641513.3650125openalex-snapshot
Inner and outer approximate quantifier elimination for general reachability problems
inferred← citeshttps://doi.org/10.1145/3641545openalex-snapshot
Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments
inferred← citeshttps://doi.org/10.1146/annurev-control-071420-081941openalex-snapshot
Set Propagation Techniques for Reachability Analysis
inferred← citeshttps://doi.org/10.1177/02783649261477777openalex-snapshot
Hamilton-Jacobi reachability for hybrid systems: Unified goal-driven control with safety guarantees
inferred← citeshttps://doi.org/10.1587/transfun.e99.a.442openalex-snapshot
Monitoring Temporal Properties Using Interval Analysis
inferred← citeshttps://doi.org/10.1609/aaai.v36i7.20790openalex-snapshot
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes
inferred← citeshttps://doi.org/10.1609/aaai.v37i12.26782openalex-snapshot
Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers
inferred← citeshttps://doi.org/10.1609/aaai.v37i12.26783openalex-snapshot
Reachability Analysis of Neural Network Control Systems
inferred← citeshttps://doi.org/10.21236/ad1010277openalex-snapshot
Runtime Assurance Framework Development for Highly Adaptive Flight Control Systems
inferred← citeshttps://doi.org/10.21236/ada613813openalex-snapshot
Delta-Complete Analysis for Bounded Reachability of Hybrid Systems
inferred← citeshttps://doi.org/10.23919/acc53348.2022.9867181openalex-snapshot
Learning Monotone Dynamics by Neural Networks
inferred← citeshttps://doi.org/10.24963/ijcai.2019/791openalex-snapshot
Bayesian Parameter Estimation for Nonlinear Dynamics Using Sensitivity Analysis
inferred← citeshttps://doi.org/10.29007/1w4topenalex-snapshot
Flow* 1.2: More Effective to Play with Hybrid Systems
inferred← citeshttps://doi.org/10.29007/4f3dopenalex-snapshot
High-level Hybrid Systems Analysis with Hypy
inferred← citeshttps://doi.org/10.29007/5313openalex-snapshot
Space Debris Collision Detection using Reachability
inferred← citeshttps://doi.org/10.29007/6dcfopenalex-snapshot
Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis
inferred← citeshttps://doi.org/10.29007/b8zropenalex-snapshot
Numerical Verification of Affine Systems with up to a Billion Dimensions
inferred← citeshttps://doi.org/10.29007/dwj1openalex-snapshot
Direct Verification of Linear Systems with over 10000 Dimensions
inferred← citeshttps://doi.org/10.29007/gv5qopenalex-snapshot
Numerical Verification of 10000-dimensional Linear Systems 10000x Faster
inferred← citeshttps://doi.org/10.29007/m75bopenalex-snapshot
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
inferred← citeshttps://doi.org/10.29007/v6g4openalex-snapshot
ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics
inferred← citeshttps://doi.org/10.29007/zkf6openalex-snapshot
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
inferred← citeshttps://doi.org/10.29007/zzc7openalex-snapshot
Implementation of Taylor models in CORA 2018
inferred← citeshttps://doi.org/10.4204/eptcs.247.2openalex-snapshot
Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method
inferred← citeshttps://doi.org/10.4204/eptcs.361.7openalex-snapshot
Robot Swarms as Hybrid Systems: Modelling and Verification
inferred← citeshttps://doi.org/10.48550/arxiv.1306.2305openalex-snapshot
Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods
inferred← citeshttps://doi.org/10.48550/arxiv.1403.7022openalex-snapshot
Abstraction of Elementary Hybrid Systems by Variable Transformation
inferred← citeshttps://doi.org/10.48550/arxiv.1602.03266openalex-snapshot
Computing Distances between Reach Flowpipes
inferred← citeshttps://doi.org/10.48550/arxiv.1809.07450openalex-snapshot
Tight Continuous-Time Reachtubes for Lagrangian Reachability
inferred← citeshttps://doi.org/10.48550/arxiv.1812.11718openalex-snapshot
Over- and Under-Approximating Reachable Sets for Perturbed Delay Differential Equations
inferred← citeshttps://doi.org/10.48550/arxiv.1906.10654openalex-snapshot
ReachNN: Reachability Analysis of Neural-Network Controlled Systems
inferred← citeshttps://doi.org/10.48550/arxiv.2007.13644openalex-snapshot
Robust optimal control using dynamic programming and guaranteed Euler's method
inferred← citeshttps://doi.org/10.48550/arxiv.2008.10180openalex-snapshot
Sampling-based Reachability Analysis: A Random Set Theory Approach with Adversarial Sampling
inferred← citeshttps://doi.org/10.5555/2499634.2499659openalex-snapshot
Hybrid systems modeling and verification with DEVS (WIP)
inferred← citeshttps://doi.org/10.5555/2555754.2555780openalex-snapshot
Verification of annotated models from executions
inferred← citeshttps://doi.org/10.5555/2830865.2830870openalex-snapshot
Reachability of hybrid systems in space-time
inferred← citeshttps://doi.org/10.5555/2830865.2830891openalex-snapshot
Bounded error flowpipe computation of parameterized linear systems
inferred← citeshttps://doi.org/10.70675/0d61eb7fz57f8z4d4ezbda2zea2637bc58bfopenalex-snapshot
Modeling and qualitative simulation of hybrid systems
inferred← citeshttps://doi.org/10.70675/16a81db5zf715z4a2ezb890z3ac8a8b5a6caopenalex-snapshot
Qualitative reasoning and complex systems design
inferred← citeshttps://doi.org/10.70675/364795f4z9ad7z4c11za936za03272be52a0openalex-snapshot
Robust optimal control for the guidance of autonomous vehicles
inferred← citeshttps://doi.org/10.70675/3662f5e9zdeaez4e93z852cz5cb4ef752e44openalex-snapshot
Surveillance préventive des systèmes hybrides à incertitudes bornées
inferred← citeshttps://doi.org/10.70675/cde7c0b0zef91z4ab0z9e54zd54e9ee248fcopenalex-snapshot
Data-driven abstractions for the safe learning of nonlinear systems
inferred← citeshttps://doi.org/10.70675/d6a9ea16z870bz4892z8f68zbdf6760bc1a1openalex-snapshot
Synthesizing invariants : a constraint programming approach based on zonotopic abstraction
inferred← citeshttps://doi.org/10.70675/d776add6z1077z4370zb245z8c88f0ecce30openalex-snapshot
Guaranteed control synthesis for switched space-time dynamical systems
inferred← citeshttps://doi.org/10.70675/e76f96dfze476z4ed2za9b6z254be02eacaaopenalex-snapshot
A correct by construction approach for the modeling and the verification of cyber-physical systems in Event-B
inferred← citeshttps://doi.org/10.70675/e8b6a544z24f0z4e39zbbd2z9458360a9737openalex-snapshot
Efficient Synthesis of Safety Controllers using Symbolic Models and Lazy Algorithms
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.