yusuke1997/dblp-id-title huggingface dataset:
Closed loop analysis of control command software
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC 2018, Porto, Portugal, April 11-13, 2018
Verification of Hybrid Systems via Mathematical Programming
Poster Abstract: A Toolchain for Accelerated Symbolic Control
Hybrid control lyapunov functions for the stabilization of hybridsystems
Models of Computation and Simulation of Hybrid Systems
On infinity norms as Lyapunov functions for piecewise affine systems
Sound Code Generation from Communicating Hybrid Models
Diagnosis of Quantised Systems by Means of Timed Discrete-Event Representations
A Toolbox for Proving and Maintaining Hybrid Specifications
Dealing with Nondeterminism in Symbolic Control
Temporal logic robustness for general signal classes
Models for Hybrid Systems: Automata, Topologies, Controllability, Observability
Mining requirements from closed-loop control models
Timing Analysis in COSPAN
A Controller Design Method Under Infrequent, Asynchronous Sensing
Approximate Stabilisation of Uncertain Hybrid Systems
Controllability Implies Stabilizability for Discrete-Time Switched Linear Systems
Compositional analysis for linear control systems
R-Charon, a Modeling Language for Reconfigurable Hybrid Systems
Taylor Approximation for Hybrid Systems
Estimator-based reactive synthesis under incomplete information
A Novel Modular Neural Architecture for Rule-Based and Similarity-Based Reasoning
Logical Verification and Systematic Parametric Analysis in Train Control
Stability analysis of complementarity systems with neural network controllers
Reachability analysis of deep ReLU neural networks using facet-vertex incidence
State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates
Observability of Linear Hybrid Systems
Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles
Evolution of Symbolization: Signposts to a Bridge Between Connectionist and Symbolic Systems
Hybrid I/O Automata
Abstraction, discretization, and robustness in temporal logic control of dynamical systems
Invariance Feedback Entropy of Nondeterministic Control Systems
Memoryless concretization relation
Controller Synthesis for Reward Collecting Markov Processes in Continuous Space
HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems
Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth Constraints
TIRA: toolbox for interval reachability analysis
A learning-based approach to stochastic optimal control under reach-avoid constraint
Switched and PieceWise Nonlinear Hybrid System Identification
The Optimal Boundary and Regulator Design Problem for Event-Driven Controllers
Mode-Automata Based Methodology for Scade
SMC: Satisfiability Modulo Convex Optimization
Compositionality results for cardiac cell dynamics
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011
Geometric Categories, O-Minimal Structures and Control (Abstract)
Wordgen : a Timed word Generation Tool
Accurate reachability analysis of uncertain nonlinear systems
Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control Systems
Reachset Conformance Testing of Hybrid Automata
Comparison of overapproximation methods for stability analysis of networked control systems
Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
Computing Controllers for Nonlinear Hybrid Systems
An LQ sub-optimal stabilizing feedback law for switched linear systems
Hybrid Controllers for Hierarchically Decomposed Systems
Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems
On abstraction-based controller design with output feedback
SL2SX Translator: From Simulink to SpaceEx Models
Hybridization domain construction using curvature estimation
Action Systems with Continuous Behaviour
Exploring Behaviors of Hybrid Systems via the Voronoi Bias over Output Signals
Piece-wise analytic trajectory computation for polytopic switching between stable affine systems
Foundations of a Compositional Interchange Format for Hybrid Systems
Hybrid Systems and Quantum Automata: Preliminary Announcement
An STL-based Approach to Resilient Control for Cyber-Physical Systems
ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems
Falsification using Reachability of Surrogate Koopman Models
The Mathematics of Matter and the Mathematics of Mind
Bayesian statistical model checking with application to Simulink/Stateflow verification
Model measuring for hybrid systems
Integrated Design and Simulation of Hybrid Systems
Local Identification of Piecewise Deterministic Models of Genetic Networks
Measurability and safety verification for stochastic hybrid systems
Asymptotic Stability and Boundedness of Delay Switching Diffusions
Fast and Scalable Monitoring for Value-Freeze Operator augmented Signal Temporal Logic
Abstraction-based Synthesis of Stochastic Hybrid Systems
Agent Based Velocity Control of Highway Systems
Optimal Switching of 1-DOF Oscillating Systems
Stability of discrete-time switched linear systems with ω-regular switching sequences
Simulation-guided lyapunov analysis for hybrid dynamical systems
Timely monitoring of partially observable stochastic systems
Simultaneous Optimal Control and Discrete Stochastic Sensor Selection
Model Checking Bounded Continuous-time Extended Linear Duration Invariants
Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes
SOS Methods for Semi-algebraic Games and Optimization
Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis
Interface-aware signal temporal logic
A Control Lyapunov Approach to Predictive Control of Hybrid Systems
Topological entropy of switched nonlinear systems
Lyapunov analysis of rigid body systems with impacts and friction via sums-of-squares
Least-violating control strategy synthesis with safety rules
A Class of Rectangular Hybrid Systems with Computable Reach Set
An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata
A bounded model checking tool for periodic sample-hold systems
A Connectionist Simulation of the Empirical Acquisition of Grammatical Relations
Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow
A hybrid system model of seasonal snowpack water balance
Piecewise Constant Feedback Control of Piecewise Affine Gene Network Models
Input-to-State Stabilization with Quantized Output Feedback
Trading Infinite Memory for Uniform Randomness in Timed Games
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019
Modeling and Optimal Control of Hybrid Rigidbody Mechanical Systems
Hybrid Control Loops, A/D Maps, and Dynamic Specifications
Large Patterns Make Great Symbols: An Example of Learning from Example
Stealthy deception attacks on water SCADA systems
17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014
Stabilization of Orthogonal Piecewise Linear Systems: Robustness Analysis and Design
A Dynamical Simulation Facility for Hybrid Systems
Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters
DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems
Efficient Parametric Identification for STL
Towards a Hybrid Model of First-Order Theory Refinement
Formal Analysis of Robustness at Model and Code Level
Flowpipe approximation and clustering in space-time
Formal verification of distributed aircraft controllers
Representation of Quantised Systems by the Frobenius-Perron Operator
Viability-Based Computations of Solutions to the Hamilton-Jacobi-Bellman Equation
Hybrid Systems Applications: An Oxymoron?
Parallel state space exploration of linear systems with inputs using XSpeed
Reachability Analysis Using Polygonal Projections
Observability of Switched Linear Systems in Continuous Time
Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems
Towards personalized prostate cancer therapy using delta-reachability analysis
Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections
Information-Based Optimization Approaches to Dynamical System Safety Verification
Modular Specification of Hybrid Systems in CHARON
Relaxed Decidability and the Robust Semantics of Metric Temporal Logic
Discrete State Estimators for a Class of Hybrid Systems on a Lattice
Learning lyapunov functions for hybrid systems
Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets
Stochastic non sequitur behavior analysis of fault tolerant hybrid systems
Hybrid Systems Described by the Complementary Formalism
Bipedal Robotic Running with DURUS-2D: Bridging the Gap between Theory and Experiment
Polyhedral Control Lyapunov Functions for Switched Affine Systems
Solutions to Switched Hamilton-Jacobi Equations and Conservation Laws Using Hybrid Components
Synthesis for Idle Speed Control of an Automotive Engine
Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems
Refinements of Approximating Automata for Synthesis of Supervisory Controllers for Hybrid Systems
Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings
Eliminating spurious transitions in reachability with support functions
SAVER: A Toolbox for SAmpling-Based, Probabilistic VERification of Neural Networks
Extended Stochastic Hybrid Systems and Their Reachability Problem
Synthesis of Control Software in a Layered Architecture from Hybrid Automata
Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings
Automata Based Interfaces for Control and Scheduling
Invertibility and Flatness of Switched Linear Discrete-Time Systems
Quantized Stabilization of Two-Input Linear Systems: A Lower Bound on the Minimal Quantization Density
MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems
Proofs from Temporal Hypotheses by Symbolic Simulation
Metrics and Topology for Nonlinear and Hybrid Systems
Path Planning and Flight Controller Scheduling for an Autonomous Helicopter
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices
Optimization of Generalized Solutions of Nonlinear Hybrid (Discrete-Continuous) Systems
Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata
A Hybrid Receding-Horizon Control Scheme for Nonlinear Discrete-Time Systems
Data-Structures for the Verification of Timed Automata
Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications
Switch Detection in Genetic Regulatory Networks
On Stability of Switched Linear Hyperbolic Conservation Laws with Reflecting Boundaries
Stationary regimes of piecewise linear dynamical systems with priorities
On the Stabilisation of Switching Electrical Power Converters
Abstract Verification of Structured Dynamical Systems
Receding horizon control for temporal logic specifications
Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs
Scalable control synthesis for stochastic systems via structural IMDP abstractions
A Note on Abstract Interpretation Strategies for Hybrid Automata
On Controllability of Timed Continuous Petri Nets
Analysis of Slope-Parametric Hybrid Automata
Hybrid Systems: Computation and Control, First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings
Scale-Independent Hysteresis Switching
Verifying Liveness Properties of Reactive Systems (Tutorial Abstract)
Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction
Utilizing dependencies to obtain subsets of reachable sets
Hybrid Neural Systems, revised papers from a workshop held at NIPS'08, Denver, CO, USA, December 4-5, 1998
TRUST: StabiliTy and Safety ContRoller Synthesis for Unknown Dynamical Models Using a Single Trajectory
A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System
Hybrid Feedback Control for Path Tracking by a Bounded-Curvature Vehicle
Bisimulations, logics, and trace distributions for stochastic systems with rewards
From hybrid data-flow languages to hybrid automata: a complete translation
pFaces: an acceleration ecosystem for symbolic control
Hybrid Modelling and Control of the Common Rail Injection System
Laplacian Sheep: A Hybrid, Stop-Go Policy for Leader-Based Containment Control
Controlled Switching Diffusions as Hybrid Processes
Observer-Based Control of Linear Complementarity Systems
On Event Based State Estimation
Relating Time Progress and Deadlines in Hybrid Systems
Specifying Timed Patterns using Temporal Logic
Adaptive Decentralized MAC for Event-Triggered Networked Control Systems
Path-dependent controller and estimator synthesis with robustness to delayed and missing data
Equalized recovery: Weakening invariance for control and estimation: poster abstract
A Decidable Class of Planar Linear Hybrid Systems
A Topological Method for Finding Invariant Sets of Switched Systems
Hybrid cc, Hybrid Automata and Program Verification
Reach-avoid problems with time-varying dynamics, targets and constraints
Minimalilty of Finite Automata Representation in Hybrid Systems Control
Orthogonal Polyhedra: Representation and Computation
Convergence results for ant routing algorithms viastochastic approximation
Accurate hybridization of nonlinear systems
Symbolic Analysis for GSMP Models with One Stateful Clock
Computing the Domain of Attraction of Switching Systems Subject to Non-Convex Constraints
A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems
Entropy and Minimal Data Rates for State Estimation and Model Detection
A Logic for the Specification of Continuous Systems
Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration
Modeling and Stability Issues in Hybrid Systems
Networks of Hybrid Systems: Connections Faults Modelling and Detection
Verification of linear duration properties over continuous-time markov chains
Sufficient conditions for satisfaction of formulas with until operators in hybrid systems
Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata
Interchange Format for Hybrid Systems: Abstract Semantics
Building Power Consumption Models from Executable Timed I/O Automata Specifications
Formal safety verification of unknown continuous-time systems: a data-driven approach
Dynamical Recurrent Networks for Sequential Data Processing
IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees
Constructing Hybrid Control Systems from Robust Linear Control Agents
On the Composition of Hybrid Systems
Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks
Safety control with preview automaton: poster abstract
Hybrid Systems with Finite Bisimulations
On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures
Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions
Cross-entropy temporal logic motion planning
Approximating Hybrid System Dynamics for Analysis and Control (Abstract)
Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings
On the Maximum Principle for Impulsive Hybrid Systems
Coupling from the Past in Hybrid Models for File Sharing Peer to Peer Systems
Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems
Input-to-State Stability of Discontinuous Dynamical Systems with an Observer-Based Control Application
Heuristic Optimizaton and Dynamical System Safety Verification
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications
Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces
Hybrid Models with Fairness and Distributed Clocks
Formal Controller Synthesis from Hybrid Programs
On Bicontinuous Bisimulation and the Preservation of Stability
Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations
Reachability Analysis of a Switched Buffer Network
Forward Inner-Approximated Reachability of Non-Linear Continuous Systems
Mode Estimation of Probabilistic Hybrid Systems
Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
Event Identification and Intelligent Hybrid Control
Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA Systems
Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings
Series of Abstractions for Hybrid Automata
Amir Pnueli and the dawn of hybrid systems
Approximating Automata and Discrete Control for Continuous Systems - Two Examples from Process Control
Robust Timed Automata
On the Optimal Control Law for Linear Discrete Time Hybrid Systems
Trace-Based Semantics for Probabilistic Timed I/O Automata
Computing the Skorokhod distance between polygonal traces
Mixed Initial-Boundary Value Problems for Scalar Conservation Laws: Application to the Modeling of Transportation Networks
A viability approach for fast recursive feasible finite horizon path planning of autonomous RC cars
On Self-triggered Full-Information H-Infinity Controllers
Formal Guarantees in Data-Driven Model Identification and Control Synthesis
A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal
Reachability Algorithm for Biological Piecewise-Affine Hybrid Systems
HYST: a source transformation and translation tool for hybrid automaton models
Control Theory, Modal Logic and Games
Switching-Based Lyapunov Function and the Stabilization of a Class of Non-holonomic Systems
Rewarding probabilistic hybrid automata
Interpretable classification of time-series data using efficient enumerative techniques
Towards Model Checking of Implantable Cardioverter Defibrillators
Towards Refining Temporal Specifications into Hybrid Systems
Averist: Algorithmic Verifier for Stability of Linear Hybrid Systems
Safety Verification of Hybrid Systems Using Barrier Certificates
Computing bisimulation functions using SOS optimization and δ -decidability over the reals
Probabilistic diagnosability of hybrid systems
Mode Switching Synthesis for Reachability Specifications
Modeling and Control of Co-generation Power Plants: A Hybrid System Approach
Optimal mixed discrete-continuous planning for linear hybrid systems
Algebraic analysis on asymptotic stability of switched hybrid systems
Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods
Reach Set Computations Using Real Quantifier Elimination
Hybrid Control Models of Next Generarion AIr Traffic Management
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
Some Remarks About Flows in Hybrid Systems
From LTL to rLTL monitoring: improved monitorability through robust semantics
Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems
Invariance Principle in Hybrid Systems Modeled by Mixed Mappings
Integration Graphs: A Class of Decidable Hybrid Systems
Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
Phase-Space Nonlinear Control Toolbox: The Maglev Experience
On a control algorithm for time-varying processor availability
Safety and Liveness in Intelligent Intersections
SySCoRe: Synthesis via Stochastic Coupling Relations
Almost ASAP Semantics: From Timed Models to Timed Implementations
A generic ellipsoid abstract domain for linear time invariant systems
A Formal Approach to Computer Systems Requirements Documentation
Primal-Dual Tests for Safety and Reachability
On the Optimality of Dubins Paths across Heterogeneous Terrain
Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings
Representation of Robust and Non-robust Solutions of Nonlinear Discrete-Continuous Systems
Guided Randomized Simulation
Approximation, Sampling and Voting in Hybrid Computing Systems
Application of Neurosymbolic Integration for Environment Modelling in Mobile Robots
Memory-dependent abstractions of stochastic systems through the lens of transfer operators
Trigger-Based Discretization of Hybrid Games for Autonomous Cyber-Physical Systems
Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations
LTLC: Linear Temporal Logic for Control
StocHy - automated verification and synthesis of stochastic processes: poster abstract
Reconfiguration in Hierarchical Control of Piecewise-Affine Systems
Life, Mind, and Robots: The Ins and Outs of Embodied Cognition
Controlled Invariance of Discrete Time Systems
Linear Time Monitoring for One Variable TPTL
Structural Analysis of Multi-Mode DAE Systems
Hierarchical Design of a Chemical Concentration Control System
Rank properties of poincare maps for hybrid systems with applications to bipedal walking
A type-based analysis of causality loops in hybrid systems modelers
Verifying Hybrid Systems
Reputation-based networked control with data-corrupting channels
Human-inspired control of bipedal robots via control lyapunov functions and quadratic programs
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks
Parallelotope Bundles for Polynomial Reachability
Revisiting timed logics with automata modalities
Finite state approximation for verification of partially observable stochastic hybrid systems
Efficient Representation and Computation of Reachable Sets for Hybrid Systems
Computing the sampling performance of event-triggered control
Successive Convexification for Optimal Control with Signal Temporal Logic Specifications
Verification Using Simulation
Constructing Invariants for Hybrid Systems
Approximately Bisimilar Finite Abstractions of Stable Linear Systems
Hierarchical Hybrid Control: A Case Study
Robust Model Checking of Timed Automata under Clock Drifts
A program logic to verify signal temporal logic specifications of hybrid systems
Learning Cycle-Linear Hybrid Automata for Excitable Cells
Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings
Model Checking Genetic Regulatory Networks with Parameter Uncertainty
Switching and Feedback Laws for Control of Constrained Switched Nonlinear Systems
Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications
Robust Asymptotic Stabilization of Hybrid Systems using Control Lyapunov Functions
Hybrid Control Systems Usind Timed Petri Nets: Supervisory Control Design Based on Invariant Properties
Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates
Finite Gain l p Stabilization Is Impossible by Bit-Rate Constrained Feedback
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
Predictive monitoring for signal temporal logic with probabilistic guarantees: poster abstract
Qualitative Stability Patterns for Lotka-Volterra Systems on Rectangles
A dynamic algorithm for approximate flow computations
Noncausal Optimal Tracking of Linear Switched Systems
Probabilistic invariance of mixed deterministic-stochastic dynamical systems
BT2Automata: Expressing Behavior Trees as Automata for Formal Control Synthesis
Mode Reconstruction for Source Coding and Multi-modal Control