HSCC 2021: 24TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL

This page contains an index consisting of author-provided keywords.

$
$\omega$-regular Objectives	OmegaThreads: Symbolic Controller Design for $\omega$-regular Objectives
A
Abstraction	Computing the sampling performance of event-triggered control
Active Objects	From Post-Conditions to Post-Region Invariants: Deductive Verification of Hybrid Objects
actor-critic	A Few Lessons Learned in Reinforcement Learning for Quadcopter Attitude Control
B
barrier certificates	FOSSIL: A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks Synthesizing ReLU Neural Networks with Two Hidden Layers as Barrier Certificates for Hybrid Systems
Bounded-error estimation	Path-Dependent Controller and Estimator Synthesis with Robustness to Delayed and Missing Data
C
CEGIS	FOSSIL: A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks
Complementarity systems	Stability Analysis of Complementarity Systems with Neural Network Controllers
computer vision	Verifiably Safe Exploration for End-to-End Reinforcement Learning
Contact dynamics	Stability Analysis of Complementarity Systems with Neural Network Controllers
Control systems	Computing the sampling performance of event-triggered control
control theory	On the Decidability of Reachability in Continuous Time Linear Time-Invariant Systems
Controllability	The Computability of LQR and LQG Control
controller synthesis	AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis
Controller Verification	Verification and Runtime Assurance for Dynamical Systems with Uncertainty
counterexample guided synthesis	Learning Lyapunov Functions for Hybrid Systems
Cyber-physical networks	Computing the sampling performance of event-triggered control
D
Decentralized Control	Compositional Safety Rules for Inter-Triggering Hybrid Automata
Decidability	The Computability of LQR and LQG Control On the Decidability of Reachability in Continuous Time Linear Time-Invariant Systems
Deductive Verification	From Post-Conditions to Post-Region Invariants: Deductive Verification of Hybrid Objects
Deep Neural Networks	Reachability Analysis of Deep ReLU Neural Networks using Facet-Vertex Incidence
delay differential equations	Switching Controller Synthesis for Delay Hybrid Systems under Perturbations
delay hybrid systems	Switching Controller Synthesis for Delay Hybrid Systems under Perturbations
Delayed data	Path-Dependent Controller and Estimator Synthesis with Robustness to Delayed and Missing Data
derivative-free optimization	Approximate Optimal Hybrid Control Synthesis By Classification-based Derivative-free Optimization
differential invariants	Switching Controller Synthesis for Delay Hybrid Systems under Perturbations
Distributed Programing	From Post-Conditions to Post-Region Invariants: Deductive Verification of Hybrid Objects
dynamic logic	A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems
E
Embedded and cyber-physical systems	Computing the sampling performance of event-triggered control
Estimation entropy	Quantizer design for linear switched systems with minimal data-rate
exponential	On the Decidability of Reachability in Continuous Time Linear Time-Invariant Systems
F
Formal Methods	Verifiably Safe Exploration for End-to-End Reinforcement Learning From Post-Conditions to Post-Region Invariants: Deductive Verification of Hybrid Objects
Formal methods for control	Computing the sampling performance of event-triggered control
Formal synthesis	Strategy Synthesis for Partially-known Switched Stochastic Systems
formal verification	Verifiably Safe Exploration for End-to-End Reinforcement Learning A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems
G
Gaussian process regression	Strategy Synthesis for Partially-known Switched Stochastic Systems
H
Hybrid Automata	Compositional Safety Rules for Inter-Triggering Hybrid Automata
hybrid dynamics	Hybrid Modeling and Predictive Control of Large-Scale Crowd Movement in Road Network
hybrid optimal control	Approximate Optimal Hybrid Control Synthesis By Classification-based Derivative-free Optimization
Hybrid Planning	Optimal Mixed Discrete-Continuous Planning for Linear Hybrid Systems
hybrid system	Learning Lyapunov Functions for Hybrid Systems
hybrid systems	Compositional Safety Rules for Inter-Triggering Hybrid Automata Approximate Optimal Hybrid Control Synthesis By Classification-based Derivative-free Optimization A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems Model-Based Reinforcement Learning for Approximate Optimal Control with Temporal Logic Specifications Synthesizing ReLU Neural Networks with Two Hidden Layers as Barrier Certificates for Hybrid Systems
hybrid systems inference	Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data
I
Invariance control	Path-Dependent Controller and Estimator Synthesis with Robustness to Delayed and Missing Data
Invariants	From Post-Conditions to Post-Region Invariants: Deductive Verification of Hybrid Objects
K
Kalman Filter	The Computability of LQR and LQG Control
L
large-scale crowd control	Hybrid Modeling and Predictive Control of Large-Scale Crowd Movement in Road Network
linear differential equation	On the Decidability of Reachability in Continuous Time Linear Time-Invariant Systems
Linear Hybrid Systems	Optimal Mixed Discrete-Continuous Planning for Linear Hybrid Systems
linear model	Hybrid Modeling and Predictive Control of Large-Scale Crowd Movement in Road Network
Linear Quadratic Control	The Computability of LQR and LQG Control
Linear Temporal Logic (LTL)	OmegaThreads: Symbolic Controller Design for $\omega$-regular Objectives
LTI systems	On the Decidability of Reachability in Continuous Time Linear Time-Invariant Systems
Lyapunov function	Learning Lyapunov Functions for Hybrid Systems
Lyapunov functions	FOSSIL: A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks
M
maneuver automata	AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis
membership	Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data
Missing data	Path-Dependent Controller and Estimator Synthesis with Robustness to Delayed and Missing Data
mixed integer programming	Synthesizing ReLU Neural Networks with Two Hidden Layers as Barrier Certificates for Hybrid Systems
mixed-integer formulations	Learning Lyapunov Functions for Hybrid Systems
mixed-integer programming	Learning Lyapunov Functions for Hybrid Systems
Mixed-Monotone Systems	Verification and Runtime Assurance for Dynamical Systems with Uncertainty
model predictive control	Hybrid Modeling and Predictive Control of Large-Scale Crowd Movement in Road Network AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis
Multi-agent Systems	Compositional Safety Rules for Inter-Triggering Hybrid Automata
N
neural network	A Few Lessons Learned in Reinforcement Learning for Quadcopter Attitude Control
neural networks	FOSSIL: A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks Synthesizing ReLU Neural Networks with Two Hidden Layers as Barrier Certificates for Hybrid Systems
Nonlinear Systems	Adaptive Parameter Tuning for Reachability Analysis of Nonlinear Systems Topological entropy of switched nonlinear systems
O
object detection	Verifiably Safe Exploration for End-to-End Reinforcement Learning
Optimal control	Model-Based Reinforcement Learning for Approximate Optimal Control with Temporal Logic Specifications
Optimization	Optimal Mixed Discrete-Continuous Planning for Linear Hybrid Systems
P
Parameter Tuning	Adaptive Parameter Tuning for Reachability Analysis of Nonlinear Systems
Parity Automata	OmegaThreads: Symbolic Controller Design for $\omega$-regular Objectives
Parity Games	OmegaThreads: Symbolic Controller Design for $\omega$-regular Objectives
piecewise-affine systems	Learning Lyapunov Functions for Hybrid Systems
Q
quadcopter control	A Few Lessons Learned in Reinforcement Learning for Quadcopter Attitude Control
Quantizer design	Quantizer design for linear switched systems with minimal data-rate
R
reach-avoid problems	AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis
reachability	On the Decidability of Reachability in Continuous Time Linear Time-Invariant Systems Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data
Reachability Analysis	AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis Reachability Analysis of Deep ReLU Neural Networks using Facet-Vertex Incidence Adaptive Parameter Tuning for Reachability Analysis of Nonlinear Systems
Reactive Synthesis	OmegaThreads: Symbolic Controller Design for $\omega$-regular Objectives
reinforcement learning	A Few Lessons Learned in Reinforcement Learning for Quadcopter Attitude Control Verifiably Safe Exploration for End-to-End Reinforcement Learning
Responsibility	Compositional Safety Rules for Inter-Triggering Hybrid Automata
Responsibility-Sensitive Safety	Compositional Safety Rules for Inter-Triggering Hybrid Automata
Robust Control Invariant Sets	Compositional Safety Rules for Inter-Triggering Hybrid Automata
Robust Controlled Invariant Sets	Compositional Safety Rules for Inter-Triggering Hybrid Automata
Robust estimators	Path-Dependent Controller and Estimator Synthesis with Robustness to Delayed and Missing Data
Runtime Assurance	Verification and Runtime Assurance for Dynamical Systems with Uncertainty
S
Safe autonomy	Strategy Synthesis for Partially-known Switched Stochastic Systems
safe exploration	Verifiably Safe Exploration for End-to-End Reinforcement Learning
Safe reinforcement learning	Model-Based Reinforcement Learning for Approximate Optimal Control with Temporal Logic Specifications
safety	Switching Controller Synthesis for Delay Hybrid Systems under Perturbations
safety verification	Synthesizing ReLU Neural Networks with Two Hidden Layers as Barrier Certificates for Hybrid Systems
sampling-based control	Approximate Optimal Hybrid Control Synthesis By Classification-based Derivative-free Optimization
SAT modulo theory	FOSSIL: A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks
Schanuel's conjecture	The Computability of LQR and LQG Control
signal temporal logic	A Few Lessons Learned in Reinforcement Learning for Quadcopter Attitude Control A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems
stability verification	Learning Lyapunov Functions for Hybrid Systems
Stability verification of neural network controllers	Stability Analysis of Complementarity Systems with Neural Network Controllers
Switched stochastic systems	Strategy Synthesis for Partially-known Switched Stochastic Systems
Switched systems	Quantizer design for linear switched systems with minimal data-rate Topological entropy of switched nonlinear systems
switching controllers	Switching Controller Synthesis for Delay Hybrid Systems under Perturbations
Symbolic Control	OmegaThreads: Symbolic Controller Design for $\omega$-regular Objectives
synthesis	Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data
T
theory of the reals	On the Decidability of Reachability in Continuous Time Linear Time-Invariant Systems
Topological entropy	Topological entropy of switched nonlinear systems
Transcendental number theory	The Computability of LQR and LQG Control
U
Uncertain Markov decision processes	Strategy Synthesis for Partially-known Switched Stochastic Systems
V
Verification	Reachability Analysis of Deep ReLU Neural Networks using Facet-Vertex Incidence

Disclaimer | Powered by EasyChair Smart Program