yusuke1997/dblp-id-title huggingface dataset:
Scalable calculation of reach sets and tubes for nonlinear systems with terminal integrators: a mixed implicit explicit formulation
Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA
Addressing Knowledge-Representation Issues in Connectionist Symbolic Rule Encoding for General Inference
Event Prediction for Switching Linear Systems with Time Varying Thresholds Using Orthogonal Functions
Automatic invariant generation for hybrid systems using ideal fixed points
On the Decidability of the Reachability Problem for Planar Differential Inclusions
Reachability Verification for Hybrid Automata
Hybrid Control for Automotive Engine Management: The Cut-Off Case
Safe compositional network sketches: formal framework
Generalized Linear Complementary Problems and the Analysis of Continuously Variable Systems and Discrete Event Systems
Stabilization of Systems with Changing Dynamics
Diagnostic Model-Checking for Real-Time Systems
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
Real-time scheduling of mixture-of-experts systems with limited resources
Fault Accomodation in Feedback Control Systems
A Policy Iteration Technique for Time Elapse over Template Polyhedra
Realization Theory for Discrete-Time Semi-algebraic Hybrid Systems
Pipelining for cyclic control systems
Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints
Systematic Simulation Using Sensitivity Analysis
On approximation metrics for linear temporal model-checking of stochastic systems
Reachability Analysis of Nonlinear Systems Using Conservative Approximation
Stability of Hybrid Systems Using LMIs - A Gear-Box Application
Compositional safety analysis using barrier certificates
CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations
Modeling of Continuous-Discrete Processes
Motion Coordination for Multi-agent Networks
Quasi-dependent variables in hybrid automata
A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems
PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech
An Approach to Model-Based Diagnosis of Hybrid Systems
Poster: Convex Scenario Optimisation for ReLU Networks
Heterogeneous verification of cyber-physical systems using behavior relations
Interchange Formats for Hybrid Systems: Review and Proposal
Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis
Interface and Controller Design for Hybrid Control Systems
A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems
Hybrid Systems - And Everything Else
An Overview of Hybrid Neural Systems
On-line Fault Monitoring of a Class of Hybrid Systems Using Templates with Dynamic Time Scaling
Hybrid Systems Verification by Location Elimination
A Data-Driven Approach for Certifying Asymptotic Stability and Cost Evaluation for Hybrid Systems
Hybrid and Embedded Software Technologies for Production Large-Scale Systems
Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
Robust output feedback control with guaranteed constraint satisfaction
Nonlinear Systems: Approximating Reach Sets
SACRES: A Step Ahead in the Development of Critical Avoinics Applications (Abstract)
Applications of MetiTarski in the Verification of Control and Hybrid Systems
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes
Distributionally Robust Statistical Verification with Imprecise Neural Networks
Hybrid Models for Gene Regulatory Networks: The Case of lac Operon in E. Coli
Ellipsoidal Techniques for Reachability Analysis
Refinement and Continuous Behaviour
SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems
AReN: assured ReLU NN architecture for model predictive control of LTI systems
On Simulations and Bisimulations of General Flow Systems
k-Inductive Barrier Certificates for Stochastic Systems
Information-Based Alpha-Beta Search and the Homicidal Chauffeur
Limited-information control of hybrid systems via reachable set propagation
Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator
A generating function approach to the stability of discrete-time switched linear systems
Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System
Bounded and Unbounded Safety Verification Using Bisimulation Metrics
On topological entropy and stability of switched linear systems
Optimal Switches in Multi-inventory Systems
Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2025, Irvine, CA, USA, May 6-9, 2025
Model Checking LTL over Controllable Linear Systems Is Decidable
The Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems
Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions
Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems
ABS: A formally correct software tool for space-efficient symbolic synthesis
Resilience to intermittent assumption violations in reactive synthesis
Verifying Clocked Transition Systems
Rigorous Design of a Fault Diagnosis and Isolation Algorithm
Falsification of temporal properties of hybrid systems using the cross-entropy method
Reachability Analysis of Hybrid Systems via Predicate Abstraction
Hybrid Systems: Computation and Control, 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings
Synthesis of Minimally Restrictive Legal Controllers for a Class of Hybrid Systems
Verifying Periodic Task-Control Systems
ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems
CoSyMA: a tool for controller synthesis using multi-scale abstractions
Observability of Piecewise-Affine Hybrid Systems
The Sensitivity of Hybrid Systems Optimal Cost Functions with Respect to Switching Manifold Parameters
Control of Continuous Plants by Symbolic Output Feedback
Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems
Hybrid Systems IV, Proceedings of the Fourth International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1996
Universality and Language Inclusion for Open and Closed Timed Automata
Poster Abstract: Learning from Demonstrations with Temporal Logics
Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles
Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control Functions
Wireless control networks: modeling, synthesis, robustness, security
Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems
Tracking differentiable trajectories across polyhedra boundaries
Control of Switched Hybrid Systems Based on Disjunctive Formulations
Algorithms for Identifying Flagged and Guarded Linear Systems
Robust Control of Hybrid Systems: Performance Guided Strategies
Verification of Automated Vehicle Protection Systems
Decidability of Hybrid Systems with Linear and Nonlinear Differential Inclusions
Pessoa 2.0: a controller synthesis tool for cyber-physical systems
Poster Abstract: Towards Seamless Reactivity of Hybrid Control
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023
Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation
Optimisation of Hybrid Processes and Hybrid Controllers
Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates
Design of Observers for Hybrid Systems
Evrostos: the rLTL verifier
Algebraic Identification of MIMO SARX Models
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
Existence and Stability of Limit Cycles in Switched Single Server Flow Networks Modelled as Hybrid Dynamical Systems
Robust Aggregation of Electric Vehicle Flexibility
Controller Design of Hybrid Systems
Beyond Zeno: Get on with It!
Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis
Abnormal Data Classification Using Time-Frequency Temporal Logic
Composing Semi-algebraic O-Minimal Automata
Refining Abstractions of Hybrid Systems Using Counterexample Fragments
Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties
Interval Markov Decision Processes with Continuous Action-Spaces
A Compositional Approach to the Design of Hybrid Systems
Well-Posedness of a Class of Piecewise Linear Systems with No Jumps
Fault Accommodation for Hybrid Systems with Continuous and Discrete Faults
Verification and control of hybrid systems using reachability analysis with machine learning
Temporal Robustness of Stochastic Signals
Stabilization of Limit Cycles of Discretely Controlled Continuous Systems by Controlling Switching Surfaces
Verification and Synthesis of Timing Contracts for Embedded Controllers
Mixed-integer formulations for optimal control of piecewise-affine systems
A stochastic hybrid system model of collective transport in the desert ant aphaenogaster cockerelli
Robust, Optimal Predictive Control of Jump Markov Linear Systems Using Particles
Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles
Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem
A Greedy Approach to Identification of Piecewise Affine Models
Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems
Demonstration of locomotion with the powered prosthesis AMPRO utilizing online optimization-based control
SReachTools: A MATLAB stochastic reachability toolbox: demo abstract
Hybrid Kernels and Capture Basins for Impulse Constrained Systems
Approximation of the Joint Spectral Radius of a Set of Matrices Using Sum of Squares
Using an Object-Oriented Methodology to Bring a Hybrid System from Initial Concept to Formal Definition
State-feedback stabilization of discrete-time piecewise affine systems
A computable and compositional semantics for hybrid automata
Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings
Experiences in Designing and Using Formal Specification Languages for Embedded Control Software
Safety Verification for Automated Platoon Maneuvers: A Case Study
Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System
Conformance verification for neural network models of glucose-insulin dynamics
Modelling a Time-Dependent Protocol Using the Circal Process Algebra
Stealthy attacks formalized as STL formulas for Falsification of CPS Security
Supplementing Neural Reinforcement Learning with Symbolic Methods
Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous Vehicles
Verifying Average Dwell Time by Solving Optimization Problems
Hybrid Systems: Computation and Control, Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings
On the Optimal Control of Hybrid Systems: Optimization of Trajectories, Switching Times, Location Schedules
CyPhySim: a cyber-physical systems simulator
Types and Quantifiers in SHRUTI: A Connectionist Model of Rapid Reasoning and Relational Processing
Efficient Mode Enumeration of Compositional Hybrid Systems
Specification and Analysis of Network Resource Requirements of Control Systems
A Hybrid Approach to Traction Control
Impulse Differential Inclusions Driven by Discrete Measures
Hybrid Systems: Chattering Approximation to Relaxed Controls
Robust invariant sets generation for state-constrained perturbed polynomial systems
Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs
Stability of Hybrid Systems
Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata
An Approach to the Verification of the Center-TRACON Automation System
Specification and Verification of Hybrid Dynamic Systems with Timed forall-Automata
Observability of Switched Linear Systems
An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems
Robust Test Generation and Coverage for Hybrid Systems
dtControl: decision tree learning algorithms for controller representation
Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems
Bisimilar symbolic models for stochastic control systems without state-space discretization
Formal Verification of Safety-Critical Hybrid Systems
The Image Computation Problem in Hybrid Systems Model Checking
A Clustering Technique for the Identification of Piecewise Affine Systems
Safe Implementations of Supervisory Commands
Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications
Stochastic reachability based motion planning for multiple moving obstacle avoidance
Qualitative Modeling and Heterogeneous Control of Global System Behavior
Model and Stability of Hybrid Linear System
Under-Approximating Reach Sets for Polynomial Continuous Systems
Controller Parameters Selection Through Bifurcation Analysis in a Piecewise-Smooth System
Accurate Event Detection for Simulating Hybrid Systems
Falsification of safety properties for closed loop control systems
Finite State Controllers for Stabilizing Switched Systems with Binary Sensors
Localizing Faults in Simulink/Stateflow Models with STL
A Game-Theoretic Approach to Hybrid System Design
High-Level Modeling and Analysis of an Air-Traffic Management System (Abstract)
Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms
Towards a Geometric Theory of Hybrid Systems
Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata
Stochastic Optimal Tracking with Preview for Linear Discrete-Time Markovian Jump Systems (Extended Abstract)
Improving Efficiency of Finite Plans by Optimal Choice of Input Sets
Optimal Controller Switching for Stochastic Systems
Computing Approximating Automata for a Class of Linear Hybrid Systems
HyRG: a random generation tool for affine hybrid automata
Polyhedral Flows in Hybrid Automata
Dynamical Systems Revisited: Hybrid Systems with Zeno Executions
Condensation of Information from Signals for Process Modeling and Control
Joint synthesis of switching and feedback for linear systems in discrete time
One-shot computation of reachable sets for differential games
Towards Continuous Abstractions of Dynamical and Control Systems
A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems
Sharc: Simulator for Hardware Architecture and Real-time Control
SCOTS: A Tool for the Synthesis of Symbolic Controllers
Hybrid Control of a Truck and Trailer Vehicle
On the decidability of linear bounded periodic cyber-physical systems
Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱
A partially observable hybrid system model for bipedal locomotion for adapting to terrain variations
Sherlock - A tool for verification of neural network feedback systems: demo abstract
Asymptotic Stability of Switched Higher Order Laplacians
BOCoSy: Small but Powerful Symbolic Output-Feedback Control
Groupoids in Control Systems and the Reachability Problem for a Class of Quantized Control Systems with Nonabelian Symmetries
Synthesis of Hybrid Constraint-Based Controllers
Lazy Rectangular Hybrid Automata
On the Stability of Zeno Equilibria
Control to facet for polynomial systems
A step towards verification and synthesis from simulink/stateflow models
A Totally Ordered Set of Discrete Abstractions for a given Hybrid Continuous System
Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes
Characterizing knee-bounce in bipedal robotic walking: a zeno behavior approach
Symbolic controller synthesis for Büchi specifications on stochastic systems
A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems
Recurrence of Nonlinear Control Systems: Entropy and Bit Rates
Case Studies in Event-Driven Control
Ant Colony and Genetic Algorithm for Constrained Predictive Control of Power Systems
Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs)
Validation of Hybrid Systems by Co-simulation
On the Existence of Solutions to Controlled Hybrid Automata
Hybrid I/O Automata Revisited
Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems
Fixed Point Iteration for Computing the Time Elapse Operator
Formal verification of braking while swerving in automobiles
Dynamic Periodic Event-Triggered Control for Linear Systems
Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
State estimation for polyhedral hybrid systems and applications to the Godunov scheme
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
Decidable Controller Synthesis for Classes of Linear Systems
Case study: verifying the safety of an autonomous racing car with a neural network controller
Stabilizing bit-rates in quantized event triggered control systems
On-Line Optimization of Switched-Mode Hybrid Dynamical Systems
Hybrid Control and Verification of a Pulsed Welding Process
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs
Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks
Quantitative timed simulation functions and refinement metrics for real-time systems
Convergence of ant colony multi-agent swarms
Towards Computing Phase Portraits of Polygonal Differential Inclusions
Controller Synthesis on Non-uniform and Uncertain Discrete-Time Domains
Reachability Analysis of Multi-affine Systems
Supervisory Control of Real-Time Systems Using Prioritized Synchronization
Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach
Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques
Hybrid Modeling of TCP Congestion Control
Timed I/O automata: a complete specification theory for real-time systems
Nonlinear Stabilization by Hybrid Quantized Feedback
Observability implies observer design for switched linear systems
Discrete and Hybrid Nonholonomy
Soteria: A Formal Digital-Twin-Enabled Framework for Safety-Assurance of Latency-Aware Cyber-Physical Systems
Requirements for hybrid cosimulation standards
Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications
Lyapunov abstractions for inevitability of hybrid systems
SReachTools: a MATLAB stochastic reachability toolbox
Compositional Refinement for Hierarchical Hybrid Systems
Temporal logic inference for classification and prediction from data
Dynamic multi-domain bipedal walking with atrias through SLIP based human-inspired control
Verisig: verifying safety properties of hybrid systems with neural network controllers
Non-deterministic Temporal Logics for General Flow Systems
Synthesis of hybrid automata with affine dynamics from time-series data
Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems
Hybrid multi-contact dynamics for wedge jumping locomotion behaviors
Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata
HYTECH: The Cornell HYbrid TECHnology Tool
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems
Context Vectors: A Step Toward a "Grand Unified Representation"
Multi-Requirement Testing Using Focused Falsification
Embedded Software and Systems: Challenges and Approaches
Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision
Consensus in networked multi-agent systems with adversaries
Inference Methods for Autonomous Stochastic Linear Hybrid Systems
Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints
Formal methods for dynamical systems
Symbolic Rule Extraction from the DIMLP Neural Network
Compositional construction of control barrier functions for interconnected control systems
Robust Controller Synthesis for Hybrid Systems Using Modal Logic
Lessons from Past, Current Issues, and Future Research Directions in Extracting the Knowledge Embedded in Artificial Neural Networks
Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach
Hybrid modeling and predictive control of large-scale crowd movement in road network
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
Proofs from simulations and modular annotations
Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting
Addressing Multiobjective Control: Safety and Performance through Constrained Optimization
Observability of Hybrid Automata by Abstraction
Hybrid Control of Automotive Powertrain Systems: A Case Study
A simple hierarchy for computing controlled invariant sets
Optimal Co-Design of Scheduling and Control for Networked Systems
Relating High-Level and Low-Level Action Descriptions in a Logic of Actions and Change
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems
Verifying Neural Network Controlled Systems Using Neural Networks
The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
Full Paper Sheet Control Using Hybrid Automata
HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020
Estimation of Distributed Hybrid Systems Using Particle Filtering Methods
Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways
On the Causality of Mixed-Signal and Hybrid Models
Verifiably safe exploration for end-to-end reinforcement learning
Analysis of Discrete-Time PWA Systems with Logic States
Resource constrained LQR control under fast sampling
Behavior Based Robotics Using Hybrid Automata
Learning nonlinear hybrid systems: from sparse optimization to support vector regression
On the Optimal Control of Switch-Mode DC-DC Converters
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016
Integration of Graphical Rules with Adaptive Learning of Structured Information
Robust Undecidability of Timed and Hybrid Systems
Bounded-rate multi-mode systems based motion planning
Modeling Hybrid Dynamical Systems
Weak Refinement for Modal Hybrid Systems
Information Theoretical Approach to Identification of Hybrid Systems
Reactive synthesis from signal temporal logic specifications
Approximations of the Rate of Growth of Switched Linear Systems
Programming in Hybrid Constraint Languages
Stochastic Hybrid Systems: Application to Communication Networks
Enforcing temporal logic specifications via reinforcement learning
Poster Abstract: Reachability and Controlled Invariance for Human Stability during Sit-to-Stand
Vulnerability analysis of dynamical power networks to stochastic link failure attacks
State Nullification of Switched Systems by Linear Output Feedback
From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees
A Method for the Design of Optimal Switching Surfaces for Autonomous Hybrid Systems
Graphical Hybrid Automata with Simulink and Stateflow
Piecewise - Differentiable Trajectory Outcomes in Mechanical Systems Subject to Unilateral Constraints
Comparing Timed C/E Systems with Timed Automata (Abstract)
Staying Alive as Cheaply as Possible
Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games
SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata
Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty
A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence
Perturbed Timed Automata
The Substratum of Impulse and Hybrid Control Systems