HSCC 2022: 25TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL

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

A
abstraction	ETCetera: beyond Event-Triggered Control
Adaptive Control	Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization
Alternating Simulation	A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence.
Application Specific Compiler	ABS: A formally correct software tool for space-efficient symbolic synthesis
B
barrier certificates	Verifying Neural Network Controlled Systems Using Neural Networks k-Inductive Barrier Certificates for Stochastic Systems
Bounded Synthesis	Small but Powerful Symbolic Output-Feedback Control
Buchi automata	Stability of discrete-time switched linear systems with omega-regular switching sequence
C
CEGAR	Small but Powerful Symbolic Output-Feedback Control
control	Autonomous systems in the intersection of formal methods, learning, and controls
Controller Synthesis	ABS: A formally correct software tool for space-efficient symbolic synthesis A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence.
CPS	Multi-Requirement Testing Using Focused Falsification
Cyber-physical systems	Verification of machine learning based cyber-physical systems: a comparative study
D
decidability	Mortality and Edge-to-Edge Reachability are Decidable on Surfaces
differential dynamic logic	Verifying Switched System Stability With Logic
Discrete Abstraction	ABS: A formally correct software tool for space-efficient symbolic synthesis
Distributed Estimation	Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation
dynamical systems	Mortality and Edge-to-Edge Reachability are Decidable on Surfaces
E
Equivalence	A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence.
event-triggered control	ETCetera: beyond Event-Triggered Control A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence.
F
Falsification	Multi-Requirement Testing Using Focused Falsification
Floating-point arithmetic	ABS: A formally correct software tool for space-efficient symbolic synthesis
Formal Correctness	ABS: A formally correct software tool for space-efficient symbolic synthesis
Formal methods	Verification of machine learning based cyber-physical systems: a comparative study Autonomous systems in the intersection of formal methods, learning, and controls
Formal Requirements	Multi-Requirement Testing Using Focused Falsification
Formal Verification	Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks
G
Game Theory	Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games
Gradient Descent Algorithm	Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation
H
Hybrid Automata	Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.
Hybrid Systems	Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation
I
Intersection of Unions	Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
K
k-Induction	k-Inductive Barrier Certificates for Stochastic Systems
L
learning	Autonomous systems in the intersection of formal methods, learning, and controls
lifts	Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods
Linearization	Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
loop invariants	Verifying Switched System Stability With Logic
Lyapunov Direct Method	Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation
Lyapunov methods	Stability of discrete-time switched linear systems with omega-regular switching sequence
M
Machine Learning	SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods
Minimization	A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence.
mixed-integer programming	Verifying Neural Network Controlled Systems Using Neural Networks
Model Discrimination	Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization
Monitoring temporal logic specifications	Linear Time Monitoring for One Variable TPTL
mortality	Mortality and Edge-to-Edge Reachability are Decidable on Surfaces
Multiresolution analysis	A Multiresolution Analysis of Temporal Logic
N
networked control systems	ETCetera: beyond Event-Triggered Control
neural network controlled systems	Verifying Neural Network Controlled Systems Using Neural Networks
Neural Network Verification	Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks
neural networks	Verification of machine learning based cyber-physical systems: a comparative study Verifying Neural Network Controlled Systems Using Neural Networks
Nonlinear system	Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
Numerical Error	ABS: A formally correct software tool for space-efficient symbolic synthesis
O
Observer Design	Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.
On-the-fly Synthesis	ABS: A formally correct software tool for space-efficient symbolic synthesis
Optimal Control	Successive Convexification for Optimal Control with Signal Temporal Logic Specifications Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games
Optimization	Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
Output-Feedback Control	Small but Powerful Symbolic Output-Feedback Control
P
path-complete Lyapunov methods	Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods
Probabilistic verification	Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications
R
Randomized Algorithms	Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.
Reachability	Mortality and Edge-to-Edge Reachability are Decidable on Surfaces Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
Reachability Analysis	Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks
Reachability specification	k-Inductive Barrier Certificates for Stochastic Systems
Risk-aware decisions making	Temporal Robustness of Stochastic Signals
Robust Control	Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games
robust semantics	Successive Convexification for Optimal Control with Signal Temporal Logic Specifications
Robustness-based Elliptical Slicing	Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications
Round-off Error	ABS: A formally correct software tool for space-efficient symbolic synthesis
Rounding Error	ABS: A formally correct software tool for space-efficient symbolic synthesis
Runtime Monitoring	A Multiresolution Analysis of Temporal Logic
S
Safety	Verification of machine learning based cyber-physical systems: a comparative study
Safety specification	k-Inductive Barrier Certificates for Stochastic Systems
safety verification	Verifying Neural Network Controlled Systems Using Neural Networks
Schedulability	A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence.
scheduling	ETCetera: beyond Event-Triggered Control
Security	Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games
Signal temporal logic	Successive Convexification for Optimal Control with Signal Temporal Logic Specifications Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications Temporal Robustness of Stochastic Signals
Stability	Stability of discrete-time switched linear systems with omega-regular switching sequence
stability analysis	Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods
Static Program Analysis	ABS: A formally correct software tool for space-efficient symbolic synthesis
Statistical Model Checking	Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.
Stochastic dynamical systems	k-Inductive Barrier Certificates for Stochastic Systems
Stochastic Optimal Control	SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods
Stochastic Reachability	SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods
Stochastic system verification	Temporal Robustness of Stochastic Signals
successive convexification	Successive Convexification for Optimal Control with Signal Temporal Logic Specifications
switched system stability	Verifying Switched System Stability With Logic
Switched systems	Stability of discrete-time switched linear systems with omega-regular switching sequence Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods
Symbolic Model	ABS: A formally correct software tool for space-efficient symbolic synthesis
T
Temporal logic	A Multiresolution Analysis of Temporal Logic Linear Time Monitoring for One Variable TPTL
Temporal robustness	Temporal Robustness of Stochastic Signals
Testing	Multi-Requirement Testing Using Focused Falsification
TPTL MTL STL	Linear Time Monitoring for One Variable TPTL
U
Unknown Systems	Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization
W
Wavelets	A Multiresolution Analysis of Temporal Logic
Z
Zonotope	Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis

Disclaimer | Powered by EasyChair Smart Program