yusuke1997/dblp-id-title huggingface dataset:
Geometrical Properties of Optimal Hybrid System Trajectories and the Optimization of Switching Manifolds
Benchmarks for cyber-physical systems: A modular model library for building automation systems
Beyond the Construction of Optimal switching surfaces for Autonomous Hybrid Systems
Ensuring Safety of Nonlinear Sampled Data Systems through Reachability 1
From control-command synchronous programs to hybrid automata
Self-Reconfiguration Using Graph Grammars for Modular Robotics
On invariance and reachability on semialgebraic sets for linear dynamics
Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical Systems
Decentralized event-triggered control with one bit communications
Feedback stabilization of the Operation of an Hybrid Chemical plant
Synchronization on a limit cycle of multi-agent systems governed by discrete-time switched affine dynamics
Robust PI observer design for hybrid heterogeneous multiple models with delayed measurements
Hybrid Algorithm for Scheduling and Risk Assessment of Projects *
Safety Control Synthesis for Systems with Missing Measurements
Results on hybrid control of self-oscillating resonant converters
State Constrained Reachability for Stochastic Hybrid Systems
Optimal control in Hybrid Systems
Stabilizability based State Space Reductions for Hybrid Systems
Pursuit of an Evader with Hybrid Dynamics
Control of Uncertain Hybrid Nonlinear Systems Using Particle Filters
Overcoming Performance Limitations of Linear Control with Hybrid Integrator-Gain Systems
Comparison between sampled-data control, deadband control and model-based event-triggered control
Safety Assessment of Networked Vehicle Platoon Controllers - Practical Experiences With Available Tools
Adaptive Testing for Specification Coverage in CPS Models
On the Projected Gradient Methods for Switched - Mode Systems Optimization
Eventual Generic Observability in Linear Hybrid Systems with discrete dynamic modeled by Petri nets
A Hybrid Approach for the Monitoring of Physiological State Changes
Conditions for the Existence of a Solution to a Two-Switched/Hybrid Optimal Control Problem
A design method for hybrid event-based control systems
Regularized Switched System Identification: a Statistical Learning Perspective
Control Barrier Certificates for Safe Swarm Behavior
Optimal Symbolic Controllers Determinization for BDD storage
Passivity-Based Control with Guaranteed Safety via Interconnection and Damping Assignment
Continuity Properties of Nonlinear Affine Control Systems: Applications to Hybrid and Sliding Mode Dynamics
Data-driven stability analysis of switched linear systems with Sum of Squares guarantees
Autonomous Formation Switching for Multiple, Mobile Robots
Application of IPA to Fluid Petri Nets
Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems
On approximate predictability of metric systems
Designing switched observers for switched Systems using Multiple Lyapunov Functions and dwell-Time switching
A Probabilistic Reach-Avoid Problem for Controlled Discrete Time Stochastic Hybrid Systems
A Hybrid Automaton for a Class of Multi-Contact Rigid-Body Systems with Friction and Impacts
Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time
Geometric control of algebraic systems
Parameter Sensitivity and Boundedness of Robotic Hybrid Periodic Orbits
Adaptive Cruise controller Design: a Comparative Assessment for PWA Systems
Finite-Time Consensus based Clock Synchronization by Discontinuous Control
Probabilistic regulation in stochastic hybrid systems subject to safety constraints
Design of Logic Feedback Controllers for Discretely Controlled Continuous Systems
Control Synthesis and Classification for Unicycle Dynamics using the Gradient and Value Sampling Particle Filters
A Continuous Petri Net Model for the Management and Design of Emergency Cardiology Departments
Hybrid system simulation with SimEvents
Lane change maneuver for autonomous vehicles (Benchmark Proposal)
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
Towards Computational Hybrid System Semantics for Time-Based Block Diagrams
Safety Verification of a Controlled Cooperative Platoon Under Loss of Communication Using Zonotopes
Closed-loop incremental stability for efficient symbolic control of non-linear systems
Stochastic Hybrid Models: An Overview
Robust Feedback Control and Scheduling of Networked Embedded Control Systems
Human Skill Modeling based on stochastic switched dynamics
Empirical Complexity Analysis of a MILP-Approach for Optimization of Hybrid Systems
A hybrid control framework for an optimal visiting problem
Physical Switching Systems: From a Network Graph to a Hybrid Port Hamiltonian Formulation
Robust piecewise linear sheet control in a Printer Paper Path
Stability analysis of interconnected event-based control loops
Perturbation Analysis and Resource Contention Games in Multiclass Stochastic Flow Models
Online Classification of switching Models based on subspace Framework
Template-Dependent Lifts for Path-Complete Stability Criteria and Application to Positive Switching Systems
Freeway Traffic Control via Route Guidance: An Approach Based on a First Order Hybrid Petri Nets Model
Sampled-data control of hybrid systems with discrete inputs and outputs
Hybrid System Identification through Optimization and Active Learning
Hybrid System Modeling of Multi-Agent Coverage Problems with Energy Depletion and Repletion
Explicit Model predictive control of the Boost DC-DC Converter
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems
Use of an Object Oriented Dynamic Hybrid Simulator for the Monitoring of Industrial Processes
A Hybrid, Multi-Agent Model of Foraging Bottlenose Dolphins
Stabilization of discrete-time switching systems including modal nonlinearities and saturating actuators
A simulation-based approach to the approximation of stochastic hybrid systems
Simulation and Verification of Hybrid Systems using Chi
Low-Complexity Switching Controllers for Safety using Symbolic Models
Formal Verification of Stability for Parametric affine Switched Systems
A Simple Self-triggered Sampler for Nonlinear Systems
Dynamic output feedback stabilization of continuous-Time switched Systems
Implementation of Taylor models in CORA 2018
Theoretical analysis of balanced truncation for linear switched systems
t -Barrier Certificates: A Continuous Analogy to k -Induction
Time-Constrained Temporal Logic Control of Multi-Affine Systems
Learning and Verification of Feedback Control Systems using Feedforward Neural Networks
Parameter identification for piecewise Deterministic Markov Processes: a Case Study on a biochemical Network
Safety and reliability Analysis of Protection Systems for Power Systems
A linear-quadratic coordination control procedure with event-based communication
In-Block Controllability of Controlled Switched Linear Systems on Polytopes
Finite-time observation of the continuous and discrete state for a class of nonlinear switched dynamics
Infinite Horizon Minmax Optimal Control: A Viability Approach
On the finite-Time stabilization of a nonlinear uncertain dynamics via switched control
Approximate simulation Relations for Hybrid Systems
Hierarchical Design of Logic Controllers Using Signal Interpreted Petri Nets
ARCH-COMP18 Category Report: Stochastic Modelling
Synthesis of continuous-time dynamic quantizers for quantized feedback systems
Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions
A switched system approach to optimize mixing of fluids
Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties
Modelling Distributed manufacturing Systems via First order Hybrid Petri Nets
On the Relation between the Hybrid Minimum Principle and Hybrid Dynamic Programming: a Linear Quadratic Example
An Autonomous Hybrid System for Multi-Agent Formation Stabilization Through Sliding Manifolds
Modeling of the ARGESIM "Crane and Embedded Controller" System using the DEVSLib Modelica library
Min-Switching Stabilization for Discrete-Time Switching Systems with Nonlinear Modes
Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis
6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018
Reachability Computation for uncertain Planar Affine Systems using linear Abstractions
Observer-based Similarity Output Feedback Control of Cyber-Physical Systems
An Efficient Heuristics for Minimum Time Control of Continuous Petri nets
Practical stabilization of discrete - Time linear SISO Systems under Assigned input and output quantization
Numerical Verification of 10000-dimensional Linear Systems 10000x Faster
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings
Power Network Regulation Benchmark for Switched-Mode Optimal Control
Safety criticality analysis of complex Air Traffic Management systems via compositional bisimulation
Critical States Detection with Bounded Probability of False Alarm and Application to Air Traffic Management
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems
Safe Human-Inspired Mesoscopic Hybrid Automaton for Longitudinal Vehicle Control
A Gossip Algorithm for Heterogeneous Multi-Vehicle Routing Problems
Detection of Cardiovascular Anomalies: Hybrid Systems Approach
Verifying nonlinear analog and mixed-signal circuits with inputs
ARCH-COMP18 Repeatability Evaluation Report
Communicating Piecewise Deterministic Markov Processes
Switched affine models for describing nonlinear systems
Performance Analysis of Descriptor Jump Linear Systems
Hybrid constrained formation flying control of micro-satellites
Network-Aware Design of State-Feedback Controllers for Linear Wireless Networked Control Systems
Stability Analysis of Discrete-Time Switched Systems Through Lyapunov Functions with Nonminimal State
Safe Online Planning in Unknown Nonconvex Environments with Implicit Controlled Invariant Sets
How to Capture Hybrid Systems Evolution Into Slices of Parallel Hyperplanes
A Gradient-based Approach to a class of Hybrid Optimal control Problems
Hybrid System control using an on-Line discrete Event supervisory Strategy
Algorithm for Bernstein Polynomial Control Design
Sequences of Discrete Abstractions for Piecewise Affine Systems
Design Principles for an Extendable Verification Tool for Hybrid Systems
Switch induced instabilities for stable power system DAE models
The Exponential Gradient HMP Algorithm for the Optimization of Hybrid Systems On Lie Groups
Switched system modeling and robust steering control of the tail end phase in a hot strip mill
Input Design for Nonlinear Model Discrimination via Affine Abstraction
Occupation measure methods for modelling and analysis of biological hybrid systems
Computation of Controlled Invariants for Nonlinear Systems: Application to Safe Neural Networks Approximation and Control
Distributed Task Assignment Based on Gossip with Guaranteed Performance on Heterogeneous Networks
Optimal Control for Deterministic Hybrid Systems using Dynamic Programming
Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
A Hybrid-Dynamical Model for Passenger-flow in Transportation Systems
Stabilizing Switched Control Design and Pole Placement
Using Neural Networks for the identification of a class of Hybrid Dynamic Systems
Combining Model-Based Design and Model-Free Policy Optimization to Learn Safe, Stabilizing Controllers
Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration
Stability Analysis of reset control systems with reset band
Multiple Shooting Technique for Optimal Control Problems with Application to Power Aware Networks
Challenges and Opportunities for System Theory in Embedded controller Design
Time Optimal Control of a Biological Wastewater Treatment Process by Hybrid Approach
A Multiport Object-Oriented Diagram for Batch Process Modelling
Hybrid Approximations of Markovian Petri Nets
PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement
Remarks on p-stabilizability of stochastic linear hybrid systems
Distributed collision avoidance for autonomous vehicles: world automata representation
An Interval-based Sliding Horizon Motion Planning Method
Optimal mode-switching for Hybrid Systems with unknown initial State
Stability Analysis for Hybrid Automata Using Conservative Gains
ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
Hybrid Modelling and Reachability on Autonomous RC-Cars
A numerical framework for optimal control of switched affine systems with state constraint
Distributed Event-Triggered Estimation in Networked Systems
Control-invariance of Sampleddata Hybrid Systems with periodically Clocked Events and jitter
Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods
On Fluidification of Petri Nets: From Discrete to Hybrid and Continuous Models
A hybrid systems approach to global synchronization and coordination of multi-agent sampled-data systems
Robust Model Predictive Control for Signal Temporal Logic Synthesis
Search for period-2 cycles in a class of Hybrid dynamical Systems with Autonomous switchings. Application to a thermal Device
Optimal Policy Synthesis from A Sequence of Goal Sets with An Application to Electric Distribution System Restoration
Stochastic approximations of hybrid systems with continuous flow maps
ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems
The Elevator dispatching Problem: Hybrid System Modeling and receding horizon control
Optimal State-Feedback Quadratic Regulation of Linear Hybrid Automata
An Improved Freeway Traffic Model in a First Order Hybrid Petri Net Framework
Control of Hybrid Behavioral Automata by Interconnection
Continuous and Discrete State Estimation in Linear Switched Systems by Sliding Mode Observers with Residuals' Projection
Robust H ∞ control of uncertain discrete-Time switching Symmetric Composite Systems
Hierarchical Hybrid Control with Classical Planning and Trajectory Optimization
Stabilizing Dynamic controller of switched linear Systems
Stability analysis of networked control systems with periodic protocols and uniform quantizers
Congestion management in traffic-light intersections via Infinitesimal Perturbation Analysis
Playing Games with Timed Games
Computing controlled invariant sets for hybrid systems with applications to model-predictive control
Bond Graph Formalism and Linear Complementarity Problem for Hybrid Systems with Ideal Diodes
Controllability of Sampled-Data Piecewise Affine Systems
Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds
Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX
Local Stability of Bilinear Systems with Asynchronous Sampling
Hierarchical and Hybrid Model Predictive Control of Quadcopter Air Vehicles
Scheduled controller design for systems with two switching sensor configurations: A frequency-domain approach
Multiplicative Barrier Certificates for Probabilistic Safety of Markov Jump Systems
Observability of Linear Hybrid Systems with unknown inputs and discrete dynamics modeled by Petri nets
Verification of Parametric Properties of Linear Discrete-time Stochastic Systems
Yet another matrix commutator condition for stabilizability of discrete-time switched linear systems
ℋ 2 Performance Optimization of Singularly Perturbed Switched Linear Systems
Hybrid Feedback Control Methods for Robust and Global Power Conversion
3rd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2009, Zaragoza, Spain, September 16-18, 2009
Hybrid Control Accommodation by Resource Allocation and Setpoint Assignment 1
Impulsive Networked Control for Discrete-time Delayed Systems
Controller Synthesis for Probabilistic Safety Specifications using Observers
Hybrid Thermodynamic Control Systems with Phase Transitions
Model Predictive Control techniques for Hybrid Systems
Higher-Dimensional Timed Automata
Learning Robust Hybrid Control Barrier Functions for Uncertain Systems
Discrete-Event modelling and Fault Diagnosis of discretely controlled continuous Systems
Building Efficient simulations from Hybrid bond Graph Models
Robustness of recurrence for a class of stochastic hybrid systems
Concentration of Measure for Chance-Constrained Optimization
2nd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2006, Alghero, Italy, June 7-9, 2006
Stabilization of switched linear Systems with unknown Time varying delays
Linear Differential-Algebraic Equations (Benchmark Proposal)
Controllability of linear systems subject to packet losses
Optimization of Hybrid Systems with Known Paths
On Robust Controlled Invariants for Continuous-time Monotone Systems
Tracking Control via Variable-gain Integrator and Lookahead Simulation: Application to Leader-follower Multiagent Networks
Observability and Observer Design of Partially Observed Petri Nets
Detecting and Enforcing monotonicity for Hybrid control Systems synthesis
Asynchronous Computing and Emergence of Computational Chaos
Hybrid positive systems subject to Markovian switching
Model Invalidation for Switched Affine Systems with Applications to Fault and Anomaly Detection
Region of exponential stability of switched linear systems on time scales
Max-Plus Algebraic Modeling and Control of High-Throughput Screening Systems with Multi-Capacity Resources
A switched ramp-metering controller for freeway traffic systems
CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation
Hybrid Necessary Principles: An Application to a Car with Gears
Invariant-based Supervisory Control of Switched Discrete Event Systems
Data-driven Switched Affine Modeling for Model Predictive Control
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Hybrid observer for the multicellular converter
Global tracking and state estimation with nonsmooth impacts for a mass confined to an n-dimensional half-space
Idle Speed control - a Benchmark for Hybrid System Research1
Verification of Diagnosability for Cyber-Physical Systems via Hybrid Barrier Certificates
Controller Synthesis for Mode-Target Games
A DEVS - based End-to-end Methodology for Hybrid Control of Embedded Networking Systems
Stability of switched systems on non-uniform time domains with non commuting matrices
Hybrid System Analysis Using a Parameterised Evolution Graph
Exact Observer for Switching Linear Systems via Super-Twisting Algorithm
LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers
Distributed Model Predictive Control for a Class of Hybrid system based on Lagrangian Relaxation
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates
Convergent Design of switched linear Systems
Lyapunov-Based Policy Synthesis for Multi-Objective Interval MDPs
Computing finite abstractions with robustness margins via local reachable set over-approximation
Safety control, a quantitative approach
Data-Driven Stability Analysis of Switched Linear Systems Using Adaptive Sampling
Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games
Constraint-Based Analysis of Probabilistic Hybrid Systems
Robust Model predictive control for piecewise Affine Systems subject to Bounded disturbances
An Efficient Algorithm for predictive control of piecewise Affine Systems with mixed inputs
Iterative Robust Stabilization Algorithm for Periodic Orbits of Hybrid Dynamical Systems: Application to Bipedal Running
Truetime: simulation of Networked Computer control Systems
Fault Tolerant control Design for switched Systems
Switched Systems as Hybrid Programs
Bounds on set exit times of affine systems, using Linear Matrix Inequalities
Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis
Stochastic Hybrid Processes with Hybrid Jumps
Robust stability of impulsive systems: A functional-based approach
HyRRT-Connect: An Efficient Bidirectional Rapidly-Exploring Random Trees Motion Planning Algorithm for Hybrid Dynamical Systems
Control Design of Elementary Hybrid Petri Nets via Model Predictive Control
Supervisory Control Design for Networked Systems with Time-Varying Communication Delays
Conical Transition Graphs for Analysis of Asymptotic Stability in Hybrid Dynamical Systems
Real time control via a high order sliding mode controller of a multi-cellular converter
Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements
Hyvisual: a Hybrid System Modeling Framework based on Ptolemy II
An Approximation of Minimax Control using Random Sampling and Symbolic Computation
Stabilizing bit-rate of disturbed event triggered control systems
Robustness of Control Barrier Functions for Safety Critical Control
Approach to Boolean Controller Design by Algebraic Relaxation for Heating Systems
Efficient Data-Driven Abstraction of Monotone Systems with Disturbances
Switching Between Controllers Using Replicator Dynamics
On Robust Stability of Limit Cycles for Hybrid Systems With Multiple Jumps
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems
Compositional Synthesis of Controllers via Co-Büchi Barrier Certificates
Algebraic switching time identification for a class of linear hybrid systems
Planning in Dynamic and Partially Unknown Environments
An Iterative Algorithm for Optimal Event-Triggered Estimation
Robust reconstruction of the discrete state for a class of nonlinear uncertain switched systems
Decentralized stabilization of interconnected switched descriptors via a multiple switched Lyapunov functional
Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS
Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint propagation techniques
Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games
5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015
Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools
Limited-Time Lookahead Diagnosability of Rectangular Hybrid Automata
Stability of time-delay reset control systems with time-dependent resetting law
IFAC Conference on Analysis and Design of Hybrid Systems, 2003, St Malo, Brittany, France, June 16-18, 2003
The Consistency Approach to the On-Line Prediction of Hybrid System Configurations 1
Error Bounds for Compositions of Piecewise affine Approximations
Event-based synchronisation of multi-agent systems
An approximation for nonlinear differential-algebraic equations via singular perturbation theory
System-Centric Minimum-Time Paths for Battery-Powered Vehicles in Networks with Charging Nodes
Homogeneous High-Order Sliding Modes
Necessary and sufficient Conditions of Forward Invariance in Hybrid Dnamical Systems: An LMI Approach
Source and Sink Transitions Controllers for Continuous Petri Nets: A Gradient-Based Approach
Stability Analysis of Hybrid Integrator-Gain Systems using Linear Programming
Time-optimal control of piecewise affine bistable gene-regulatory networks: preliminary results
Infinitesimal Perturbation Analysis for Personalized Cancer Therapy Design
Stochastic Hybrid Netcad Systems for Modeling Call Admission and Routing control in Networks
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving
Non-Deterministic Reactive Systems, from Hybrid Systems and Behavioural Systems Perspectives
Formal Analysis of Scientific-Computation Methods
Razumikhin-type Theorems on Practical Stability of Dynamic Equations on Time Scales
Lyapunov functions for switched linear hyperbolic systems
A New Dual-mode Hybrid MPC Algorithm with a robust stability Guarantee
On hybrid state-feedback loops based on a dwell-time logic
A Limit Cycle of a Resonant Converter
A solar cooling plant: a Benchmark for Hybrid Systems control
ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018