On the public citation graph
Model Conformance for Cyber-Physical Systems
0 signed · 185 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/11603009_18openalex-snapshot
Quantifying Similarities Between Timed Systems
inferredcites →https://doi.org/10.1007/11730637_25openalex-snapshot
Approximate Abstraction of Stochastic Hybrid Automata
inferredcites →https://doi.org/10.1007/11867340_15openalex-snapshot
On Timed Simulation Relations for Hybrid Systems and Compositionality
inferredcites →https://doi.org/10.1007/11940197_5openalex-snapshot
Hybrid Input-Output Conformance and Test Generation
inferredcites →https://doi.org/10.1007/3-540-36580-x_22openalex-snapshot
On Systematic Simulation of Open Continuous Systems
inferredcites →https://doi.org/10.1007/3-540-45351-2_24openalex-snapshot
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
inferredcites →https://doi.org/10.1007/3-540-45351-2_33openalex-snapshot
Hybrid I/O Automata Revisited
inferredcites →https://doi.org/10.1007/3-540-45351-2_7openalex-snapshot
Compositional Refinement for Hierarchical Hybrid Systems
inferredcites →https://doi.org/10.1007/3-540-48320-9_6openalex-snapshot
Testing Concurrent Systems: A Formal Approach
inferredcites →https://doi.org/10.1007/3-540-56496-9_21openalex-snapshot
Property preserving simulations
inferredcites →https://doi.org/10.1007/3-540-63141-0_10openalex-snapshot
Reachability analysis of pushdown automata: Application to model-checking
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-319-06410-9_33openalex-snapshot
Refactoring, Refinement, and Reasoning
inferredcites →https://doi.org/10.1007/978-3-319-11936-6_9openalex-snapshot
Test Coverage Estimation Using Threshold Accepting
inferredcites →https://doi.org/10.1007/978-3-319-21668-3_14openalex-snapshot
Quantifying Conformance Using the Skorokhod Metric
inferredcites →https://doi.org/10.1007/978-3-319-25150-9_32openalex-snapshot
A Tool Prototype for Model-Based Testing of Cyber-Physical Systems
inferredcites →https://doi.org/10.1007/978-3-319-46520-3_26openalex-snapshot
STL Model Checking of Continuous and Hybrid Systems
inferredcites →https://doi.org/10.1007/978-3-319-48989-6_43openalex-snapshot
Approximate Bisimulation and Discretization of Hybrid CSP
inferredcites →https://doi.org/10.1007/978-3-319-63387-9_11openalex-snapshot
STLInspector: STL Validation with Guarantees
inferredcites →https://doi.org/10.1007/978-3-319-63387-9_20openalex-snapshot
Simulation-Equivalent Reachability of Large Linear Systems with Inputs
inferredcites →https://doi.org/10.1007/978-3-540-24743-2_37openalex-snapshot
Bisimulation of Dynamical Systems
inferredcites →https://doi.org/10.1007/978-3-540-30206-3_12openalex-snapshot
Monitoring Temporal Properties of Continuous Signals
inferredcites →https://doi.org/10.1007/978-3-540-31954-2_13openalex-snapshot
Bisimulation for General Stochastic Hybrid Systems
inferredcites →https://doi.org/10.1007/978-3-540-31954-2_17openalex-snapshot
PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech
inferredcites →https://doi.org/10.1007/978-3-540-71070-7_15openalex-snapshot
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
inferredcites →https://doi.org/10.1007/978-3-540-71493-4_34openalex-snapshot
Comparing Forward and Backward Reachability as Tools for Safety Analysis
inferredcites →https://doi.org/10.1007/978-3-540-71493-4_37openalex-snapshot
The Image Computation Problem in Hybrid Systems Model Checking
inferredcites →https://doi.org/10.1007/978-3-540-71493-4_41openalex-snapshot
Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
inferredcites →https://doi.org/10.1007/978-3-540-71493-4_59openalex-snapshot
On Bicontinuous Bisimulation and the Preservation of Stability
inferredcites →https://doi.org/10.1007/978-3-540-85778-5_18openalex-snapshot
On Conformance Testing for Timed Systems
inferredcites →https://doi.org/10.1007/978-3-642-14295-6_17openalex-snapshot
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
inferredcites →https://doi.org/10.1007/978-3-642-17071-3_12openalex-snapshot
Model-Based Mutation Testing of 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-30885-7_5openalex-snapshot
Continuous ASM, and a Pacemaker Sensing Fragment
inferredcites →https://doi.org/10.1007/978-3-642-33636-2_16openalex-snapshot
Approximate Bisimulations for Sodium Channel Dynamics
inferredcites →https://doi.org/10.1007/978-3-642-38916-0_2openalex-snapshot
Time for Mutants — Model-Based Mutation Testing with Timed Automata
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.1007/978-3-662-54458-7_19openalex-snapshot
On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context
inferredcites →https://doi.org/10.1007/b137241openalex-snapshot
Model-Based Testing of Reactive Systems
inferredcites →https://doi.org/10.1007/s00498-015-0142-5openalex-snapshot
Constructing simulation relations for IDO systems affine in inputs and disturbances
inferredcites →https://doi.org/10.1007/s10626-007-0029-9openalex-snapshot
Approximate Simulation Relations for Hybrid Systems
inferredcites →https://doi.org/10.1007/s10703-009-0065-1openalex-snapshot
Conformance testing for real-time systems
inferredcites →https://doi.org/10.1007/s10703-009-0066-0openalex-snapshot
Coverage-guided test generation for continuous and hybrid systems
inferredcites →https://doi.org/10.1007/s10703-016-0241-zopenalex-snapshot
ModelPlex: verified runtime validation of verified cyber-physical system models
inferredcites →https://doi.org/10.1007/s12209-016-2565-6openalex-snapshot
Approximate reachability and bisimulation equivalences for transition systems
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-12-803801-7.00019-5openalex-snapshot
Model-Based Testing of Cyber-Physical Systems
inferredcites →https://doi.org/10.1016/j.automatica.2003.07.003openalex-snapshot
Bisimilar linear systems
inferredcites →https://doi.org/10.1016/j.automatica.2007.01.019openalex-snapshot
Approximate bisimulation relations for constrained linear systems
inferredcites →https://doi.org/10.1016/j.automatica.2008.02.021openalex-snapshot
Approximately bisimilar symbolic models for nonlinear control systems
inferredcites →https://doi.org/10.1016/j.automatica.2008.09.016openalex-snapshot
Hierarchical control system design using approximate simulation
inferredcites →https://doi.org/10.1016/j.entcs.2009.09.051openalex-snapshot
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models
inferredcites →https://doi.org/10.1016/j.entcs.2013.12.002openalex-snapshot
Approximation Metrics Based on Probabilistic Bisimulations for General State-Space Markov Processes: A Survey
inferredcites →https://doi.org/10.1016/j.jlap.2005.10.004openalex-snapshot
Compositional modeling and refinement for hierarchical hybrid systems
inferredcites →https://doi.org/10.1016/j.nahs.2016.03.008openalex-snapshot
Computing compositional proofs of Input-to-Output Stability using SOS optimization and δ -decidability
inferredcites →https://doi.org/10.1016/j.sysconle.2003.09.013openalex-snapshot
Bisimilar control affine systems
inferredcites →https://doi.org/10.1016/j.sysconle.2008.09.001openalex-snapshot
Approximate equivalence and synchronization of metric transition systems
inferredcites →https://doi.org/10.1016/j.sysconle.2017.01.010openalex-snapshot
Hierarchical analysis of large-scale control systems via vector simulation function
inferredcites →https://doi.org/10.1016/j.tcs.2005.03.045openalex-snapshot
Bisimulation relations for dynamical, control, and hybrid systems
inferredcites →https://doi.org/10.1016/s0304-3975(99)00303-5openalex-snapshot
Towards a unified view of bisimulation: a comparative study
inferredcites →https://doi.org/10.1023/b:disc.0000018571.14789.24openalex-snapshot
Compositional Abstractions of Hybrid Control Systems
inferredcites →https://doi.org/10.1090/gsm/041openalex-snapshot
Introduction to the Theory of Differential Inclusions
inferredcites →https://doi.org/10.1109/5.533956openalex-snapshot
Principles and methods of testing finite state machines-a survey
inferredcites →https://doi.org/10.1109/5.871304openalex-snapshot
Discrete abstractions of hybrid systems
inferredcites →https://doi.org/10.1109/acc.1994openalex-snapshot
Proceedings of 1994 American Control Conference - ACC '94
inferredcites →https://doi.org/10.1109/acc.2003.1244054openalex-snapshot
Abstractions of constrained linear systems
inferredcites →https://doi.org/10.1109/acc.2006.1657467openalex-snapshot
Approximate bisimulation for a class of stochastic hybrid systems
inferredcites →https://doi.org/10.1109/acc.2012.6314777openalex-snapshot
Reachability computation of low-order models for the safety verification of high-order road vehicle models
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.2004.1428676openalex-snapshot
Assume-guarantee reasoning for hybrid I/O-automata by over-approximation of continuous interaction
inferredcites →https://doi.org/10.1109/cdc.2004.1430240openalex-snapshot
Bisimulation theory for switching linear systems
inferredcites →https://doi.org/10.1109/cdc.2005.1582235openalex-snapshot
Approximate Bisimulations for Nonlinear Dynamical Systems
inferredcites →https://doi.org/10.1109/cdc.2005.1582904openalex-snapshot
Approximate Bisimulations for Constrained Linear Systems
inferredcites →https://doi.org/10.1109/cdc.2009.5400344openalex-snapshot
Integral input-to-state stability of interconnected iISS systems by means of a lower-dimensional comparison system
inferredcites →https://doi.org/10.1109/cdc.2016.7799116openalex-snapshot
Bisimulations for input-output stability of hybrid systems
inferredcites →https://doi.org/10.1109/cdc.2016.7799418openalex-snapshot
Combining zonotopes and support functions for efficient reachability analysis of linear systems
inferredcites →https://doi.org/10.1109/cdc32025.2016openalex-snapshot
2016 IEEE 55th Conference on Decision and Control (CDC)
inferredcites →https://doi.org/10.1109/iccps.2014.6843724openalex-snapshot
WiP abstract: Conformance testing as falsification for cyber-physical systems
inferredcites →https://doi.org/10.1109/icstw.2017.15openalex-snapshot
A Process for Sound Conformance Testing of Cyber-Physical Systems
inferredcites →https://doi.org/10.1109/icstw47299.2019openalex-snapshot
2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
inferredcites →https://doi.org/10.1109/iecon.2010.5675195openalex-snapshot
Ant colonies for Temporal Logic falsification of hybrid systems
inferredcites →https://doi.org/10.1109/iros.2017.8202313openalex-snapshot
Provably safe motion of mobile robots in human environments
inferredcites →https://doi.org/10.1109/iros51168.2021openalex-snapshot
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
inferredcites →https://doi.org/10.1109/mcs.2011.942937openalex-snapshot
43rd IEEE Conference on Decision and Control
inferredcites →https://doi.org/10.1109/memcod.2014.6961854openalex-snapshot
Formal property verification in a conformance testing framework
inferredcites →https://doi.org/10.1109/qsic.2010.53openalex-snapshot
Automated Conformance Verification of Hybrid Systems
inferredcites →https://doi.org/10.1109/ssiri-c.2011.19openalex-snapshot
Approximate Simulation for Metric Hybrid Input/Output Automata
inferredcites →https://doi.org/10.1109/tac.2004.838497openalex-snapshot
Equivalence of Dynamical Systems by Bisimulation
inferredcites →https://doi.org/10.1109/tac.2007.895849openalex-snapshot
Approximation Metrics for Discrete and Continuous Systems
inferredcites →https://doi.org/10.1109/tac.2009.2019791openalex-snapshot
Approximations of Stochastic Hybrid Systems
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/tac.2013.2285751openalex-snapshot
Reachability Analysis of Nonlinear Differential-Algebraic Systems
inferredcites →https://doi.org/10.1109/tac.2015.2422431openalex-snapshot
Stability Preserving Simulations and Bisimulations for Hybrid Systems
inferredcites →https://doi.org/10.1109/tase.2016.33openalex-snapshot
Sound Test-Suites for Cyber-Physical Systems
inferredcites →https://doi.org/10.1109/tase38018.2016openalex-snapshot
2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE)
inferredcites →https://doi.org/10.1109/tie.2017.2688961openalex-snapshot
Model Validation of PWM DC–DC Converters
inferredcites →https://doi.org/10.1109/tpwrs.2014.2342504openalex-snapshot
Approximate Bisimulation-Based Reduction of Power System Dynamic Models
inferredcites →https://doi.org/10.1109/tse.1978.231496openalex-snapshot
Testing Software Design Modeled by Finite-State Machines
inferredcites →https://doi.org/10.1137/040609616openalex-snapshot
A Canonical Form for the Inclusion Principle of Dynamic Systems
inferredcites →https://doi.org/10.1137/050638072openalex-snapshot
Simulation and Bisimulation of Nonlinear Control Systems with Admissible Classes of Inputs and Disturbances
inferredcites →https://doi.org/10.1137/130949646openalex-snapshot
Simulation Relations and Controllability Properties of Linear and Nonlinear Control Systems
inferredcites →https://doi.org/10.1145/112600.112613openalex-snapshot
The benefits of relaxing punctuality
inferredcites →https://doi.org/10.1145/1459352.1459354openalex-snapshot
Using formal specifications to support testing
inferredcites →https://doi.org/10.1145/1755952.1755956openalex-snapshot
Accurate hybridization of nonlinear systems
inferredcites →https://doi.org/10.1145/1755952.1755983openalex-snapshot
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
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/2185632.2185662openalex-snapshot
Pre-orders for reasoning about stability
inferredcites →https://doi.org/10.1145/2728606.2728609openalex-snapshot
Computing bisimulation functions using SOS optimization and δ -decidability over the reals
inferredcites →https://doi.org/10.1145/2728606.2728618openalex-snapshot
Computing the Skorokhod distance between polygonal traces
inferredcites →https://doi.org/10.1145/2883817.2883828openalex-snapshot
Reachset Conformance Testing of Hybrid Automata
inferredcites →https://doi.org/10.1145/2883817.2883850openalex-snapshot
Computing Distances between Reach Flowpipes
inferredcites →https://doi.org/10.1145/2933575.2934503openalex-snapshot
Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems
inferredcites →https://doi.org/10.1145/2933575.2934555openalex-snapshot
Differential Refinement Logic
inferredcites →https://doi.org/10.1145/3178126.3178128openalex-snapshot
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices
inferredcites →https://doi.org/10.1201/b11321-25openalex-snapshot
Model-Based Testing of Hybrid Systems
inferredcites →https://doi.org/10.14279/tuj.eceasst.70.982openalex-snapshot
Conformance Testing of Cyber-Physical Systems: A Comparative Study
inferredcites →https://doi.org/10.23919/acc.1982.4787983openalex-snapshot
An Inclusion Principle for Dynamic Systems
inferredcites →https://doi.org/10.23919/acc60939.2024openalex-snapshot
2024 American Control Conference (ACC)
inferredcites →https://doi.org/10.29007/v6g4openalex-snapshot
ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics
inferredcites →https://doi.org/10.3182/20020721-6-es-1901.00562openalex-snapshot
SIMULATION RELATIONS FOR DISCRETE-TIME LINEAR SYSTEMS
inferredcites →https://doi.org/10.3182/20080706-5-kr-1001openalex-snapshot
Proceedings of the 17th IFAC World Congress, 2008
inferredcites →https://doi.org/10.3182/20080706-5-kr-1001.01514openalex-snapshot
Efficient Reachability Analysis for Linear Systems using Support Functions
inferredcites →https://doi.org/10.3182/20120606-3-nl-3011.00016openalex-snapshot
Flowpipe-Guard Intersection for Reachability Computations with Support Functions
inferredcites →https://doi.org/10.4230/lipics.concur.2015.18openalex-snapshot
Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper)
inferredcites →https://doi.org/10.48550/arxiv.1304.5153openalex-snapshot
A composition theorem for bisimulation functions
inferredcites →https://doi.org/10.48550/arxiv.1401.5200openalex-snapshot
Conformance Testing as Falsification for Cyber-Physical Systems
inferredcites →https://doi.org/10.48550/arxiv.1511.05273openalex-snapshot
Towards composition of conformant systems
inferredcites →https://doi.org/10.5555/1519231.1519267openalex-snapshot
Coverage-guided test generation for continuous and hybrid systems
inferredcites →https://doi.org/10.6100/ir640216openalex-snapshot
Automated model-based testing 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/ett.4133openalex-snapshot
A survey on recent optimal techniques for securing unmanned aerial vehicles applications
inferred← citeshttps://doi.org/10.1007/978-3-030-79150-6_42openalex-snapshot
Intelligent Techniques and Hybrid Systems Experiments Using the Acumen Modeling and Simulation Environment
inferred← citeshttps://doi.org/10.1007/978-3-031-08848-3_5openalex-snapshot
Conformance Checking: Foundations, Milestones and Challenges
inferred← citeshttps://doi.org/10.1007/978-3-031-84260-3_6openalex-snapshot
“Paying the Rent” A Formal Methods Riposte to “Living Off the Land” Attacks
inferred← citeshttps://doi.org/10.1007/978-3-032-10477-9_1openalex-snapshot
On Some Applications of Markov Chains for Cyber-Physical Systems Analysis
inferred← citeshttps://doi.org/10.1007/978-3-032-35974-2_31openalex-snapshot
Optimizing the Uncertain Inverse Dynamics Bounds of the Franka Emika Panda Robot
inferred← citeshttps://doi.org/10.1007/978-981-33-6984-9_40openalex-snapshot
Attitude Control in Unmanned Aerial Vehicles Using Reinforcement Learning—A Survey
inferred← citeshttps://doi.org/10.1007/s10846-021-01412-3openalex-snapshot
Reinforcement Learning versus Conventional Control for Controlling a Planar Bi-rotor Platform with Tail Appendage
inferred← citeshttps://doi.org/10.1007/s11370-021-00385-4openalex-snapshot
An integrated solution for an autonomous drone racing in indoor environments
inferred← citeshttps://doi.org/10.1007/s12555-018-0489-8openalex-snapshot
A Survey of Controller Designs for New Generation UAVs: The Challenge of Uncertain Aerodynamic Parameters
inferred← citeshttps://doi.org/10.1007/s40435-020-00737-5openalex-snapshot
A review on drones controlled in real-time
inferred← citeshttps://doi.org/10.1016/j.automatica.2021.109662openalex-snapshot
Comparison of guaranteed state estimators for linear time-invariant systems
inferred← citeshttps://doi.org/10.1016/j.automatica.2022.110692openalex-snapshot
Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges
inferred← citeshttps://doi.org/10.1016/j.ifacol.2024.07.418openalex-snapshot
Hierarchical Control for Cyber-Physical Systems via General Approximate Alternating Simulation Relations
inferred← citeshttps://doi.org/10.1016/j.is.2021.101731openalex-snapshot
Empowering conformance checking using Big Data through horizontal decomposition
inferred← citeshttps://doi.org/10.1016/j.nahs.2026.101705openalex-snapshot
Hierarchical control for cyber–physical systems via general approximate alternating simulation relations
inferred← citeshttps://doi.org/10.1017/s1471068422000035openalex-snapshot
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
inferred← citeshttps://doi.org/10.1080/0951192x.2023.2258111openalex-snapshot
Robust safety zones for manipulators with uncertain dynamics in collaborative robotics
inferred← citeshttps://doi.org/10.1108/jabs-05-2021-0202openalex-snapshot
Evaluation of key factors for industry 4.0 technologies adoption in small and medium enterprises (SMEs): an emerging economy context
inferred← citeshttps://doi.org/10.1109/cac59555.2023.10450430openalex-snapshot
Data-Driven Based System Identification for Linear Time-Invariant Systems
inferred← citeshttps://doi.org/10.1109/cdc49753.2023.10383601openalex-snapshot
Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces
inferred← citeshttps://doi.org/10.1109/cdc49753.2023.10383972openalex-snapshot
Reachability Analysis of ARMAX Models
inferred← citeshttps://doi.org/10.1109/itsc48978.2021.9564790openalex-snapshot
Towards threat metric evaluation in complex urban scenarios
inferred← citeshttps://doi.org/10.1109/itsc57777.2023.10422619openalex-snapshot
Lexicographic Mixed-Integer Motion Planning with STL Constraints
inferred← citeshttps://doi.org/10.1109/iv55156.2024.10588549openalex-snapshot
Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking
inferred← citeshttps://doi.org/10.1109/jproc.2025.3570483openalex-snapshot
No More Traffic Tickets: A Tutorial to Ensure Traffic-Rule Compliance of Automated Vehicles
inferred← citeshttps://doi.org/10.1109/lcsys.2024.3397058openalex-snapshot
Scalable Reachset-Conformant Identification of Linear Systems
inferred← citeshttps://doi.org/10.1109/mdat.2021.3128434openalex-snapshot
Autonomous Systems Design: Charting a New Discipline
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/tac.2023.3292329openalex-snapshot
Scalable Robust Safety Filter With Unknown Disturbance Set
inferred← citeshttps://doi.org/10.1109/tac.2024.3416322openalex-snapshot
Comparison of Nondeterministic Stable Linear Systems by ($\gamma,\delta$)-Similarity
inferred← citeshttps://doi.org/10.1109/tac.2025.3633534openalex-snapshot
Reachset-Conformant System Identification
inferred← citeshttps://doi.org/10.1109/tcst.2021.3118488openalex-snapshot
Interval-Arithmetic-Based Robust Control of Fully Actuated Mechanical Systems
inferred← citeshttps://doi.org/10.1109/tiv.2023.3301009openalex-snapshot
A Relative Operation-Based Separation Model for Safe Distances of Virtually Coupled Trains
inferred← citeshttps://doi.org/10.1109/tiv.2024.3400597openalex-snapshot
Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea
inferred← citeshttps://doi.org/10.1109/tro.2023.3249564openalex-snapshot
BarrierNet: Differentiable Control Barrier Functions for Learning of Safe Robot Control
inferred← citeshttps://doi.org/10.1109/tro.2023.3277268openalex-snapshot
Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification
inferred← citeshttps://doi.org/10.1109/tse.2022.3213041openalex-snapshot
Data-Driven Mutation Analysis for Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/tsg.2025.3616402openalex-snapshot
CommonPower: A Framework for Safe Data-Driven Smart Grid Control
inferred← citeshttps://doi.org/10.1145/3365365.3382193openalex-snapshot
Falsification of cyber-physical systems with robustness-guided black-box checking
inferred← citeshttps://doi.org/10.1145/3400302.3415760openalex-snapshot
EDA for autonomous behavior assurance
inferred← citeshttps://doi.org/10.1145/3461669openalex-snapshot
Categorical Semantics of Cyber-Physical Systems Theory
inferred← citeshttps://doi.org/10.1145/3480248openalex-snapshot
Non-Intrusive Distributed Tracing of Wireless IoT Devices with the FlockLab 2 Testbed
inferred← citeshttps://doi.org/10.1146/annurev-control-071420-081941openalex-snapshot
Set Propagation Techniques for Reachability Analysis
inferred← citeshttps://doi.org/10.23919/acc63710.2025.11107692openalex-snapshot
Recursive Identification of Reachset-Conformant Models using Constraint Underapproximation
inferred← citeshttps://doi.org/10.2514/6.2023-2669openalex-snapshot
Impact and Influence of Cyber-Physical Systems Research on Autonomous Aerospace Systems
inferred← citeshttps://doi.org/10.32870/recibe.v10i1.163openalex-snapshot
Modelo de sistema multisensor con enfoque de muestreo multifrecuencia
inferred← citeshttps://doi.org/10.3390/math10193567openalex-snapshot
Reachset Conformance and Automatic Model Adaptation for Hybrid Systems
inferred← citeshttps://doi.org/10.64439/cisai.v2i1.10openalex-snapshot
Cyber-physical systems in the smart home: a review
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.