HSCC'19: 22ND ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL

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

A
abstraction	Facetal Abstraction for Non-Linear Dynamical Systems Based on delta-Decidable SMT
abstractions	Inner and Outer Reachability for the Verification of Control Systems
affine systems	Numerical Verification of Affine Systems with up to a Billion Dimensions
Automata	A complete characterization of the ordering of path-complete methods
B
barrier functions	Characterizations of Safety in Hybrid Inclusions via Barrier Functions
C
C++	pFaces: An Acceleration Ecosystem for Symbolic Control
Contraction	TIRA: Toolbox for Interval Reachability Analysis
Control Systems	Gray-box Adversarial Testing for Control Systems with Machine Learning Components
Control Theory	On the Decidability of Reachability in Linear Time-Invariant Systems
Controller synthesis	A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics
convex sets	JuliaReach: a Toolbox for Set-Based Reachability
CPS with neural network controllers	Verisig: verifying safety properties of hybrid systems with neural network controllers
CPU	pFaces: An Acceleration Ecosystem for Symbolic Control
Cyber-physical Systems	Interface-Aware Signal Temporal Logic
D
Decidability	On the Decidability of Reachability in Linear Time-Invariant Systems
Discrete Abstractions	pFaces: An Acceleration Ecosystem for Symbolic Control
Disjunctive programming	Mixed-Integer Formulations for Optimal Control of Piecewise-Affine Systems
Drones	Temporal Logic Robustness for General Signal Classes
dynamical systems	Facetal Abstraction for Non-Linear Dynamical Systems Based on delta-Decidable SMT
E
Embedded control	Verification and synthesis of interconnected embedded control systems under timing contracts
Environment assumptions	A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics
F
Falsification	Falsification of Hybrid Systems using Symbolic Reachability and Trajectory Splicing
flowpipe construction	Reachability Analysis for Neural Feedback Systems using Regressive Polynomial Rule Inference
Formal Abstractions	Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
Formal Methods	Formal Verification of Weakly-Hard Systems Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems Evrostos: The rLTL Verifier
Formal verification	Formal Verification of Neural Network Controlled Autonomous Systems
FPGA	pFaces: An Acceleration Ecosystem for Symbolic Control
G
GPU	pFaces: An Acceleration Ecosystem for Symbolic Control
Growth bound	TIRA: Toolbox for Interval Reachability Analysis
H
Hamilton-Jacobi-Bellman Equations	Robust Invariant Sets Generation for State-Constrained Perturbed Polynomial Systems
High Performance Computing	pFaces: An Acceleration Ecosystem for Symbolic Control
HW Accelerators	pFaces: An Acceleration Ecosystem for Symbolic Control
hybrid inclusions	Characterizations of Safety in Hybrid Inclusions via Barrier Functions
Hybrid System	Falsification of Hybrid Systems using Symbolic Reachability and Trajectory Splicing Reachability Analysis for Neural Feedback Systems using Regressive Polynomial Rule Inference
I
inner-approximation	Inner and Outer Reachability for the Verification of Control Systems
Input-to-state stability	Verification and synthesis of interconnected embedded control systems under timing contracts
Interconnected systems	Verification and synthesis of interconnected embedded control systems under timing contracts
K
krylov subspace	Numerical Verification of Affine Systems with up to a Billion Dimensions
L
lazy set representation	JuliaReach: a Toolbox for Set-Based Reachability
Linear cyber-physical system	On the Decidability of Linear Bounded Periodic Cyber-Physical Systems
linear systems	Numerical Verification of Affine Systems with up to a Billion Dimensions SReachTools: A MATLAB Stochastic Reachability Toolbox
LTI systems	On the Decidability of Reachability in Linear Time-Invariant Systems
Lyapunov Methods	A complete characterization of the ordering of path-complete methods
M
Machine Learning	Formal Verification of Neural Network Controlled Autonomous Systems
Message Passing Interface (MPI)	pFaces: An Acceleration Ecosystem for Symbolic Control
Mixed-integer optimization	Mixed-Integer Formulations for Optimal Control of Piecewise-Affine Systems
Mixed-monotonicity	TIRA: Toolbox for Interval Reachability Analysis
model checking	Revisiting Timed Logics with Automata Modalities On the Decidability of Linear Bounded Periodic Cyber-Physical Systems Evrostos: The rLTL Verifier
Model predictive control	Mixed-Integer Formulations for Optimal Control of Piecewise-Affine Systems
Monitoring	Temporal Logic Robustness for General Signal Classes Interface-Aware Signal Temporal Logic
Monotonicity	TIRA: Toolbox for Interval Reachability Analysis
Multi-agent	Temporal Logic Robustness for General Signal Classes
N
neural network	Reachability Analysis for Neural Feedback Systems using Regressive Polynomial Rule Inference
Neural network verification	Verisig: verifying safety properties of hybrid systems with neural network controllers
Neural Networks	Gray-box Adversarial Testing for Control Systems with Machine Learning Components
Non-linear Optimization	Falsification of Hybrid Systems using Symbolic Reachability and Trajectory Splicing
Nonlinear systems	TIRA: Toolbox for Interval Reachability Analysis
O
OpenCL	pFaces: An Acceleration Ecosystem for Symbolic Control
Optimization	Gray-box Adversarial Testing for Control Systems with Machine Learning Components
P
Parallel Algorithms	pFaces: An Acceleration Ecosystem for Symbolic Control
Parameter synthesis	Verification and synthesis of interconnected embedded control systems under timing contracts
Path-Complete Methods	A complete characterization of the ordering of path-complete methods
Piecewise-affine systems	Mixed-Integer Formulations for Optimal Control of Piecewise-Affine Systems
polynomial regression	Reachability Analysis for Neural Feedback Systems using Regressive Polynomial Rule Inference
R
Reach-avoid objectives	A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics
reachability	On the Decidability of Reachability in Linear Time-Invariant Systems Numerical Verification of Affine Systems with up to a Billion Dimensions SReachTools: A MATLAB Stochastic Reachability Toolbox
reachability analysis	Falsification of Hybrid Systems using Symbolic Reachability and Trajectory Splicing Reachability Analysis for Neural Feedback Systems using Regressive Polynomial Rule Inference Inner and Outer Reachability for the Verification of Control Systems Facetal Abstraction for Non-Linear Dynamical Systems Based on delta-Decidable SMT TIRA: Toolbox for Interval Reachability Analysis JuliaReach: a Toolbox for Set-Based Reachability
Reactive Synthesis	pFaces: An Acceleration Ecosystem for Symbolic Control
Recurrence Sequences	On the Decidability of Reachability in Linear Time-Invariant Systems
Robust Invariant Sets	Robust Invariant Sets Generation for State-Constrained Perturbed Polynomial Systems
Robustness	Temporal Logic Robustness for General Signal Classes Evrostos: The rLTL Verifier
S
safety	Characterizations of Safety in Hybrid Inclusions via Barrier Functions
safety verification	Falsification of Hybrid Systems using Symbolic Reachability and Trajectory Splicing Formal Verification of Weakly-Hard Systems On the Decidability of Linear Bounded Periodic Cyber-Physical Systems Inner and Outer Reachability for the Verification of Control Systems
Sampling	Temporal Logic Robustness for General Signal Classes
Satisfiability Modulo Theories	Facetal Abstraction for Non-Linear Dynamical Systems Based on delta-Decidable SMT
Satisfiability Solvers	Formal Verification of Neural Network Controlled Autonomous Systems
Scenario optimization	A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics
Semi-Definite Programs	Robust Invariant Sets Generation for State-Constrained Perturbed Polynomial Systems
Sensitivity	TIRA: Toolbox for Interval Reachability Analysis
Signal Temporal Logic	Gray-box Adversarial Testing for Control Systems with Machine Learning Components
Simulation	Interface-Aware Signal Temporal Logic
Simulation metric	A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics
Stability	On topological entropy and stability of switched linear systems A complete characterization of the ordering of path-complete methods
Stochastic Hybrid Systems	Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
stochastic optimal control	SReachTools: A MATLAB Stochastic Reachability Toolbox
Switched systems	On topological entropy and stability of switched linear systems
Switching Systems	A complete characterization of the ordering of path-complete methods
Symbolic Control	pFaces: An Acceleration Ecosystem for Symbolic Control
T
Taylor models	Inner and Outer Reachability for the Verification of Control Systems
Temporal logic	Revisiting Timed Logics with Automata Modalities Temporal Logic Robustness for General Signal Classes Interface-Aware Signal Temporal Logic Evrostos: The rLTL Verifier
Testing	Interface-Aware Signal Temporal Logic
Testing and Verification	Gray-box Adversarial Testing for Control Systems with Machine Learning Components
timed automata	Revisiting Timed Logics with Automata Modalities
Topological entropy	On topological entropy and stability of switched linear systems
Trajectory Splicing	Falsification of Hybrid Systems using Symbolic Reachability and Trajectory Splicing
V
Verification	Interface-Aware Signal Temporal Logic
Verification of closed-loop systems	Verisig: verifying safety properties of hybrid systems with neural network controllers
W
weakly-hard system	Formal Verification of Weakly-Hard Systems

Disclaimer | Powered by EasyChair Smart Program