yusuke1997/dblp-id-title huggingface dataset:
Extended RTL in the Specification and Verification of an Industrial Press
Abstraction by Projection and Application to Multi-affine Systems
Optimal scheduling for constant-rate multi-mode systems
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010
On Hybrid Control of Under-Actuated Mechanical Systems
Counterexample-guided stabilization of switched systems using control lyapunov functions
Rate Admission Control for Hard Real-Time Task Scheduling
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains
Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets
Distributionally Robust Strategy Synthesis for Switched Stochastic Systems
Generating Unstable Trajectories for Switched Systems via Dual Sum-Of-Squares Techniques
Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic
Reachability analysis for hybrid systems with nonlinear guard sets
Generating Polynomial Invariants for Hybrid Systems
Clock Allocation in Timed Automata and Graph Colouring
Hybrid Systems in TLA +
Verification of Hybrid Systems: Monotonicity in the AHS Control System
Simulation of Hybrid Systems
Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings
Computing bounded reach sets from sampled simulation traces
What's decidable about recursive hybrid automata?
Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation
On the decidability of reachability in continuous time linear time-invariant systems
Inverse-Optimal Safety Control for Hybrid Systems
Actors without Directors: A Kahnian View of Heterogeneous Systems
Verification of machine learning based cyber-physical systems: a comparative study
Reachability analysis for neural feedback systems using regressive polynomial rule inference
Distributed Lyapunov Functions in Analysis of Graph Models of Software
Compositional construction of approximate abstractions
Model-Based Autonomous Systems for Robotic Space Exploration
Formal Synthesis of Stabilizing Controllers for Switched Systems
Epsilon-Approximation of Differential Inclusions
An Equivalence Between a Control Network and a Switched Hybrid System
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
An Extended Duration Calculus for Hybrid Real-Time Systems
Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems
A Hybrid Model for Subliminal Air Traffic Control
Multiple Agent Hybrid Control Architecture
Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps
Cells driven by computers: long-term model predictive control of gene expression in yeast
Strategy synthesis for partially-known switched stochastic systems
Model Checking of Hybrid Systems: From Reachability Towards Stability
Verifying Hybrid Systems Modeled as Timed Automata: A Case Study
Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
Approximate Control Design for Solar Driven Sensor Nodes
Hybrid Objects
Towards a Third Generation of Control Systems
Parameter synthesis for polynomial biological models
Learning Deterministic Multi-Clock Timed Automata
Multiobjective Hybrid Controller Synthesis
Lyapunov Stability of Continuous-Valued Systems under the Supervision of Discrete-Event Transition Systems
Automatic Verification of a Turbogas Control System with the Mur varphi Verifier
Approximate Abstraction of Stochastic Hybrid Automata
Bumpless Switching in Hybrid Systems
Statistical Verification of the Toyota Powertrain Control Verification Benchmark
Hybrid Control Design for a Three Vehicle Scenario Demonstration Using Overlapping Decompositions
TuLiP: a software toolbox for receding horizon temporal logic planning
Control Synthesis for Large Collections of Systems with Mode-Counting Constraints
Modeling, Optimization and Computation for Software Verification
Nonlinear Adaptive Backstepping with Estimator Resetting Using Multiple Observers
Regularization of bellman equations for infinite-horizon probabilistic properties
Succinct discrete time approximations of distributed hybrid automata
Poster Abstract: Permissiveness for Strategy Adaptation
Stability Analysis of Hybrid Systems Via Small-Gain Theorems
Explaining Control Policies through Predicate Decision Diagrams
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems
Steering a Leader-Follower Team Via Linear Consensus
Towars a Theory of Stochastic Hybrid Systems
A Geometric Approach to Bisimulation and Verification of Hybrid Systems
Automated analysis of real-time scheduling using graph games
Statistical verification of dynamical systems using set oriented methods
Reachability games for linear hybrid systems
Runtime Enforcement of CPS against Signal Temporal Logic
On Controlling Timed Discrete Event Systems
Fuzzy Knowledge and Recurrent Neural Networks: A Dynamical Systems Perspective
Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles
A simulink hybrid heart model for quantitative verification of cardiac pacemakers
Optimal Control of Hysteresis in Smart Actuators: A Viscosity Solutions Approach
A New Perspective on Quality Evaluation for Control Systems with Stochastic Timing
Numerical verification of affine systems with up to a billion dimensions
A New Approach to Robust Control of Hybrid Systems
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications
Bisimulation of Dynamical Systems
Oscillation analysis of linearly coupled piecewise affine systems
OmegaThreads: symbolic controller design for ω -regular objectives
Semi-autonomous Intersection Collision Avoidance through Job-shop Scheduling
From Uncertainty Data to Robust Policies for Temporal Logic Planning
Avoiding geometric intersection operations in reachability analysis of hybrid systems
Analysis of the joint spectral radius via Lyapunov functions on path-complete graphs
Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms
Invariance of Approximating Automata for Piecewise Linear Systems with Uncertainties
Multi-Parametric Toolbox (MPT)
Switching controller synthesis for delay hybrid systems under perturbations
Hybridization for Stability Analysis of Switched Linear Systems
Composition of Motion Description Languages
Feedback Scheduling for Pipelines of Tasks
Certifying the safe design of a virtual fixture control algorithm for a surgical robot
Optimal Control of Piece-Wise Polynomial Hybrid Systems Using Cylindrical Algebraic Decomposition
Conditions of Optimal Classification for Piecewise Affine Regression
Control as an Embedded Technology
Identifiability of discrete-time linear switched systems
From Quantity to Quality
Stability analysis of large-scale networked control systems with local networks: a hybrid small-gain approach
Characterizations of safety in hybrid inclusions via barrier functions
Output-Based Optimal Timing Control of Switched Systems
Stabilizing switched nonlinear systems under restricted switching
Path-Dependent Impulse and Hybrid Systems
The Residue of Model Reduction
Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networks
Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process
AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems
Stabilization of LTI Systems with Quantized State - Quantized Input Static Feedback
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods
A symbolic approach to the design of nonlinear networked control systems
Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach
Hybrid Modelling and Control of Power Electronics
Extracting Stable Timed Automata from Switched Model Reference Systems
Worst-case topological entropy and minimal data rate for state observation of switched linear systems
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024
Hybrid Estimation for Stochastic Piecewise Linear Systems
Coordinated Control for Highly Reconfigurable Systems
On the decidability of stability of hybrid systems
Hybrid Flow Nets for Hybrid Processes: Modelling and Control
Adaptive strategies for rLTL games
Modular Development of Hybrid Systems for Verification in Coq
Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis
On O-Minimal Hybrid Systems
FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks
Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order
Moore-machine filtering for timed and untimed pattern matching: poster abstract
HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022
Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems: poster abstract
Implicit structural analysis of multimode DAE systems
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021
A predictive control solution for driveline oscillations damping
Semantics and Verification of Hierarchical CRP Programs
Results and Perspectives on Computational Methods for Optimal Control of Switched Systems
Abstracting and refining robustness for cyber-physical systems
What Can We Learn from Synchronous Data-Flow Languages?
SHAVE: stochastic hybrid analysis of markov population models
Computation of piecewise affine terminal cost functions for model predictive control
Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach
Robust PCTL model checking
Design Tools for Hybrid Control Systems
Verification of Recurrent Neural Networks with Star Reachability
STORMED Hybrid Games
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems
Invariant, viability and discriminating kernel under-approximation via zonotope scaling: poster abstract
Semi-decidable Synthesis for Triangular Hybrid Systems
From synchronous programs to symbolic representations of hybrid systems
A Digital Real-Time Simulator for Rail-Vehicle Control System Testing
Iterative temporal motion planning for hybrid systems in partially unknown environments
Hybrid Abstractions that Preserve Timed Languages
A Formal Description of Hybrid Systems
Symbolic control of monotone systems application to ventilation regulation in buildings
Gray-box adversarial testing for control systems with machine learning components
Modelling and Verification of Automated Transit Systems, Using Timed Automata, Invariants and Simulations
Bisimulation for General Stochastic Hybrid Systems
Toward Flexible Scheduling of Real-Time Control Tasks: Reviewing Basic Control Models
State Clock Logic: A Decidable Real-Time Logic
A Stochastic Hybrid Model for Air Traffic Control Simulation
Optimal Data Rate for State Estimation of Switched Nonlinear Systems
Temporal Behavior Trees: Robustness and Segmentation
An improved algorithm for robust safety analysis of sampled data systems
Model reduction of switched affine systems: a method based on balanced truncation and randomized optimization
On the Controllability of Bimodal Piecewise Linear Systems
Learning Multi-modal Control Programs
Robust discrete synthesis against unspecified disturbances
Stabhyli: a tool for automatic stability verification of non-linear hybrid systems
From Models to Code: The Missing Link in Embedded Software
Deductive Verification of Hybrid Systems Using STeP
Hybrid Systems Diagnosis
Scalable Static Hybridization Methods for Analysis of Nonlinear Systems
Solving Coverage Problems with Embedded Graph Grammars
Structured reward functions using STL: poster abstract
Resilient abstraction-based controller design
Semantics and Verifikation of Extended Phase Transition Systems in Duration Calculus
Compositional safety rules for inter-triggering hybrid automata
Safety Verification of an Aircraft Landing Protocol: A Refinement Approach
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
Control Design for a Hybrid Dynamic System: A NASA Life Support System
Verification and runtime assurance for dynamical systems with uncertainty
Poster Abstract: Data-Driven Estimation of Collision Risks for Autonomous Vehicles with Formal Guarantees
Controller Synthesis with Budget Constraints
Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata
Human-data based cost of bipedal robotic walking
On the Timing of Discrete Events in Event-Driven Control Systems
Dynamical Qualitative Analysis of Evolutionary Systems
Impulsive data association with an unknown number of targets
The Tool KRONOS
Necessary Conditions for the Impulsive Time-Optimal Control of Finite-Dimensional Lagrangian Systems
Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
On the Polytope Escape Problem for Continuous Linear Dynamical Systems
Does sample-time emulation preserve exponential stability?
Estimation and Conflict Detection in Human Controlled Systems
Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach
Scheduling of Embedded Controllers Under Timing Contracts
Pre-orders for reasoning about stability
A complete characterization of the ordering of path-complete methods
Approximate Reachability for Linear Systems
Sliding Mode Model Semantics and Simulation for Hybrid Systems
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
Stabilizing discrete-time switched linear systems
Optimotaxis: A Stochastic Multi-agent Optimization Procedure with Point Measurements
Sampling-based approximation of the viability kernel for high-dimensional linear sampled-data systems
A toolbox for simulation of hybrid systems in matlab/simulink: hybrid equations (HyEQ) toolbox
Model-based reinforcement learning for approximate optimal control with temporal logic specifications
Energy and mean-payoff timed games
Hierarchical Hybrid Systems: Partition Deformations and Applications to the Acrobot System
Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems
Transcendental inductive invariants generation for non-linear differential and hybrid systems
Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors
On-the-fly, data-driven reachability analysis and control of unknown systems: an F-16 aircraft case study
A New Algorithm for Discrete Timed Symbolic Model Checking
Sampling-based Approximate Optimal Control Under Temporal Logic Constraints
Adaptive parameter tuning for reachability analysis of nonlinear systems
Compositional Synthesis for Symbolic Control
Ordered Upwind Methods for Hybrid Control
Towards sensitivity analysis of hybrid systems using simulink
A stochastic hybrid system approach to aggregated load modeling for demand response
Approximating the Geometry of Temporal Logic Formulas
Computing Distances between Reach Flowpipes
Polynomial Stochastic Hybrid Systems
Reachability Analysis of Stochastic Hybrid Systems by Optimal Control
A few lessons learned in reinforcement learning for quadcopter attitude control
A Decision Tree Approach to Data Classification using Signal Temporal Logic
Path-Complete Graphs and Common Lyapunov Functions
Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
On Transfinite Hybrid Automata
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems
Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models
Benchmarks for Hybrid Systems Verification
A sufficient condition for the boundedness of matrix products accepted by an automaton
Verifying Switched System Stability With Logic
Statistical verification of learning-based cyber-physical systems
Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems
Synthesis of Robust Control Systems under Resource Constraints
ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems
Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
A Partial Order Approach to Discrete Dynamic Feedback in a Class of Hybrid Systems
Understanding State Space Organization in Recurrent Neural Networks with Iterative Function Systems Dynamics
Certified Model Order Reduction from Data
Modelling of Hybrid Systems Based on Extended Coloured Petri Nets
Safety Verification of Piecewise-Deterministic Markov Processes
Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings
Filtering over networks with random communication
Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision
Successive Control Barrier Functions for Nonlinear Systems
Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems
Indistinguishability in Localization and Control with Coarse Information
High Order Eigentensors as Symbolic Rules in Competitive Learning
Price-Based Optimal Control of Power Flow in Electrical Energy Transmission Networks
Numerical Methods for Differential Systems with Algebraic Equality and Inequality Constraints
Reduction and Decomposition of Differential Automata: Theory and Applications
Variational formulation and optimal control of hybrid lagrangian systems
Falsification of hybrid systems using symbolic reachability and trajectory splicing
Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine
Verification and synthesis of interconnected embedded control systems under timing contracts
Event-Triggering in Distributed Networked Systems with Data Dropouts and Delays
A Recursive Neural Network for Reflexive Reasoning
Directed Specifications and Assumption Mining for Monotone Dynamical Systems
Hamiltonian Mechanics2
Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis
Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems
Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT
Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics
Optimal Design of Hybrid Controllers for Hybrid Process Systems
Temporal logic motion planning using POMDPs with parity objectives: case study paper
A Homology Theory for Hybrid Systems: Hybrid Homology
FaMoS- Fast Model Learning for Hybrid Cyber-Physical Systems using Decision Trees
Holistic Symbol Processing and the Sequential RAAM: An Evalutation
Reachability Questions in Piecewise Deterministic Markov Processes
Switching Controllers Based on Neural Network: Estimates of Stability Regions and Controller Performance
The Hybrid Guaranteed Capture Basin Algorithm in Economics
Characterization of the ordering of path-complete stability certificates with addition-closed templates
Qualitative Analysis of Nonlinear Biochemical Networks with Piecewise-Affine Functions
Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems
JuliaReach: a toolbox for set-based reachability
Comparing Timed and Hybrid Automata as Approximations of Continuous Systems
Verification of Real Time Chemical Processing Systems
A Self-Learning Neuro-Fuzzy System
Modeling the Impact of Vehicle Platooning on Highway Congestion: A Fluid Queuing Approach
Data-driven Verification of Autonomous Systems: Reachability, Entropy, and Contracts
Hybrid Dynamic Programming
Uniform Consensus among Self-driven Particles
On Hybrid Systems and the Modal µ-calculus
Optimal Paths in Weighted Timed Automata
Anytime Control Algorithms for Embedded Real-Time Systems
Hybrid controllers for tracking of impulsive reference state trajectories: a hybrid exosystem approach
Non-concurrent Error Detection and Correction in Switched Linear Controllers
DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems
Local lipschitzness of reachability maps for hybrid systems with applications to safety
Minimum Time for a Hybrid System with Thermostatic Switchings
Spatiotemporal Tubes for Reach-Avoid-Stay Specifications✱
Equations on Timed Languages
A stochastic reach-avoid problem with random obstacles
Dynamically stable bipedal robotic walking with NAO via human-inspired hybrid zero dynamics
An Approach to the Description and Analysis of Hybrid Systems
A Sound and Complete Proof Rule for Region Stability of Hybrid Systems
NCSWT: an integrated modeling and simulation tool for networked control systems
Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates
Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning
Integration of Analog and Discrete Synchronous Design
Quantizer design for switched linear systems with minimal data-rate
Formal methods for computing hyperbolic invariant sets for nonlinear systems: poster abstract
Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994
Behavioural Approximations for Restricted Linear Differential Hybrid Automata
A Computatuional Analysis of the Reachability Problem for a Class of Hybrid Dynamical Systems
Symmetry Reduction of a Class of Hybrid Systems
Approximate Reachability Computation for Polynomial Systems
Comparing Forward and Backward Reachability as Tools for Safety Analysis
Further results on stability of linear systems with slow and fast time variation and switching
Viable Control of Hybrid Systems
Qualitative Heterogeneous Control of Higher Order Systems
Using HYTECH to Verify an Automative Control System
Controller Scheduling Using Neural Networks: Implementation and Experimental Results
Sporadic Control of First-Order Linear Stochastic Systems
Passivity and stability of switched systems under quantization
Hybrid cc with Interval Constraints
Characterization of Stabilizing Switching Sequences in Switched Linear Systems Using Piecewise Linear Lyapunov Functions
Computation of Root-Mean-Square Gains of Switched Linear Systems
Modeling and Control of Networked Control Systems with Random Delays
Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program
Formal verification of neural network controlled autonomous systems
C2E2: a tool for verifying annotated hybrid systems
A Numerical Technique for Stability Analysis of Linear Switched Systems
Efficient computation of generalized input-to-state ℒ 2 -gains of discrete-time switched linear systems
Safe schedulability of bounded-rate multi-mode systems
Optimal CPU allocation to a set of control tasks with soft real-time execution constraints
Switched Bond Graphs as Front-End to Formal Verification of Hybrid Systems
Hybrid System Models of Navigation Strategies for Games and Animations
Design of Luenberger Observers for a Class of Hybrid Linear Systems
Stabilization of planar switched linear systems using polar coordinates
Efficient finite abstraction of mixed monotone systems
Encrypted control system with quantizer: poster abstract
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
Complexity Reduction for the Design of Interacting Controllers
Simultaneous Optimization of Continuous Control Inputs and Discrete State Waypoints
Towards Hybrid Neural Learning Internet Agents
An aircraft electric power testbed for validating automatically synthesized reactive control protocols
Compositional Synthesis with Parametric Reactive Controllers
The Challenges of Embedded Systems Engineering
Symbolic Controller Synthesis for Discrete and Timed Systems
Compositional synthesis via a convex parameterization of assume-guarantee contracts
On Practical Stability and Stabilization of Hybrid and Switched Systems