HSCC'17: HSCC'17: 20TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS WEEK)

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

A
Abnormal Data Classification	Abnormal Data Classification Using Time-Frequency Temporal Logic
abstraction	Robust Abstractions for Control Synthesis: Robustness Equals Realizability for Linear-Time Properties
Abstraction-Refinement	HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems
Abstractions	Formal Synthesis of Stabilizing Controllers for Switched Systems
affine arithmetic	Forward inner-approximated reachability of non-linear continuous systems
Aggregation	HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems
Approximate optimal control	Sampling-based approximate optimal control under temporal logic constraints
Assume-Guarantee Contracts	A Small Gain Theorem for Parametric Assume-Guarantee Contracts
Automata and Games	Formal Synthesis of Stabilizing Controllers for Switched Systems
B
Bernstein	Sapo: A Tool for the Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems
Bipedal running	Bipedal Robotic Running with DURUS-2D: Bridging the Gap between Theory and Experiment
bit-rate	Towards Optimal State Estimation of Switched Nonlinear Systems with finite-data-rate measurements
Bouligand derivative	Piecewise–differentiable trajectory outcomes in mechanical systems subject to unilateral constraints
C
CEGIS	Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
Constraint Propagation	HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems
constructive semantics	Structural Analysis of Multi-Mode DAE Systems
Continuous Linear Dynamical Systems	On the Polytope Escape Problem for Linear Dynamical Systems
Continuous Wavelet Transform	Abnormal Data Classification Using Time-Frequency Temporal Logic
continuous-space stochastic systems	Controller Synthesis for Reward Collecting Markov Processes in Continuous Space
Contract based design	Scheduling of embedded controllers under timing contracts
control synthesis	Robust Abstractions for Control Synthesis: Robustness Equals Realizability for Linear-Time Properties Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
controllability	Piecewise–differentiable trajectory outcomes in mechanical systems subject to unilateral constraints
controlled invariant sets	On a class of maximal invariance inducing control strategies for large collections of switched systems
Convex Combinations	Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems
Convex Optimization	SMC: Satisfiability modulo Convex Optimization Forward stochastic reachability analysis for uncontrolled linear systems using Fourier transforms
Copositive matrices	Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions
D
DAE	Structural Analysis of Multi-Mode DAE Systems
Data Rate Theorem	Invariance Feedback Entropy of Non-deterministic Control Systems
Decidability	Robust Abstractions for Control Synthesis: Robustness Equals Realizability for Linear-Time Properties Relaxed decidability and the robust semantics of Metric Temporal Logic
Delta-decidability	Relaxed decidability and the robust semantics of Metric Temporal Logic
differential index	Structural Analysis of Multi-Mode DAE Systems
Discrete Time	HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems
Discrete-time switching systems	Path-Complete Graphs and Common Lyapunov Functions.
dynamical systems	Sapo: A Tool for the Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems
E
Energy Games	Formal Synthesis of Stabilizing Controllers for Switched Systems
Estimation Entropy	Towards Optimal State Estimation of Switched Nonlinear Systems with finite-data-rate measurements
Event-triggered control	Dynamic Periodic Event-Triggered Control for Linear Systems
F
finite abstractions	Reachability Computation for Switching Diffusions: Finite Abstractions of Continuous Models
finite word length	Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
formal controller synthesis	Controller Synthesis for Reward Collecting Markov Processes in Continuous Space
Formal methods	Sampling-based approximate optimal control under temporal logic constraints
Formal Synthesis	Formal Synthesis of Stabilizing Controllers for Switched Systems
Formal Verification	Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems
Fourier transform	Forward stochastic reachability analysis for uncontrolled linear systems using Fourier transforms
G
Generalized Star	HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems
Global exponential stability	Dynamic Periodic Event-Triggered Control for Linear Systems
H
Hybrid Automata	Statistical Verification of the Toyota Powertrain Control Verification Benchmark
hybrid system	Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters
Hybrid systems	Dynamic Periodic Event-Triggered Control for Linear Systems HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems Sampling-based approximate optimal control under temporal logic constraints
hybrid zero dynamics	Bipedal Robotic Running with DURUS-2D: Bridging the Gap between Theory and Experiment
I
Importance sampling	Sampling-based approximate optimal control under temporal logic constraints
Impulsive systems	Dynamic Periodic Event-Triggered Control for Linear Systems
inner-approximation	Forward inner-approximated reachability of non-linear continuous systems
input to state stability	Bipedal Robotic Running with DURUS-2D: Bridging the Gap between Theory and Experiment
Interpolation Control	Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems
interval analysis	Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
invariant	Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters
Invariants	HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems
L
L2 stability	Dynamic Periodic Event-Triggered Control for Linear Systems
linear-time properties	Robust Abstractions for Control Synthesis: Robustness Equals Realizability for Linear-Time Properties
Lyapunov Function	Path-Complete Graphs and Common Lyapunov Functions.
M
Machine Learning	Abnormal Data Classification Using Time-Frequency Temporal Logic
Markov chain abstraction	Controller Synthesis for Reward Collecting Markov Processes in Continuous Space
Mean-Payoff Games	Invariance Feedback Entropy of Non-deterministic Control Systems
mechanical systems	Piecewise–differentiable trajectory outcomes in mechanical systems subject to unilateral constraints
Metric Temporal Logic	Relaxed decidability and the robust semantics of Metric Temporal Logic
Model detection	Towards Optimal State Estimation of Switched Nonlinear Systems with finite-data-rate measurements
multi-domain hybrid systems	Bipedal Robotic Running with DURUS-2D: Bridging the Gap between Theory and Experiment
multi-mode differential algebraic equations	Structural Analysis of Multi-Mode DAE Systems
N
Non-Deterministic Control Systems	Invariance Feedback Entropy of Non-deterministic Control Systems
non-linear differential equations	Forward inner-approximated reachability of non-linear continuous systems
Non-Linear Dynamics	Statistical Verification of the Toyota Powertrain Control Verification Benchmark
Nonlinear Control	Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems
nonlinear programming	Bipedal Robotic Running with DURUS-2D: Bridging the Gap between Theory and Experiment
nonlinear system	Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters
nonlinear systems	Robust Abstractions for Control Synthesis: Robustness Equals Realizability for Linear-Time Properties
nonstandard analysis	Structural Analysis of Multi-Mode DAE Systems
numerical computations	Reachability Computation for Switching Diffusions: Finite Abstractions of Continuous Models
O
Observer Automaton	Path-Complete Graphs and Common Lyapunov Functions.
Omega regular model-checking	Robust Model Checking of Timed Automata under Clock Drifts
Orbit Problem	On the Polytope Escape Problem for Linear Dynamical Systems
P
Parameter Synthesis	Sapo: A Tool for the Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems Abnormal Data Classification Using Time-Frequency Temporal Logic
Parametric Temporal Logic	A Small Gain Theorem for Parametric Assume-Guarantee Contracts
Path-Complete graphs	Path-Complete Graphs and Common Lyapunov Functions.
Piecewise affine systems	Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions
Piecewise quadratic functions	Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions
piecewise–differentiable systems	Piecewise–differentiable trajectory outcomes in mechanical systems subject to unilateral constraints
Policy iterations	Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions
Q
quantisation	Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
Quantitative Predicate Abstraction	Formal Synthesis of Stabilizing Controllers for Switched Systems
Quasi-decidability	Relaxed decidability and the robust semantics of Metric Temporal Logic
R
Reach set computation	Robust Model Checking of Timed Automata under Clock Drifts
Reach-Avoid Problems	Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems
reachability	Sapo: A Tool for the Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems
reachability and safety analysis	Reachability Computation for Switching Diffusions: Finite Abstractions of Continuous Models
Reachability Problem	On the Polytope Escape Problem for Linear Dynamical Systems
Reachable Set	HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems
Reachable values set	Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions
reward collecting Markov processes	Controller Synthesis for Reward Collecting Markov Processes in Continuous Space
Riccati differential equations	Dynamic Periodic Event-Triggered Control for Linear Systems
Robust Control	Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems
Robust semantics	Relaxed decidability and the robust semantics of Metric Temporal Logic
Robust verification	Robust Model Checking of Timed Automata under Clock Drifts
robustness	Robust Abstractions for Control Synthesis: Robustness Equals Realizability for Linear-Time Properties
S
Safety Verification	HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters Robust Model Checking of Timed Automata under Clock Drifts
Satisfiability Modulo Theories	SMC: Satisfiability modulo Convex Optimization
Scheduling	Scheduling of embedded controllers under timing contracts
Semi-formal verification	Relaxed decidability and the robust semantics of Metric Temporal Logic
semialgebraic system	Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters
Small Gain Theorem	A Small Gain Theorem for Parametric Assume-Guarantee Contracts
SOS programming	Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters
Stability	Scheduling of embedded controllers under timing contracts Formal Synthesis of Stabilizing Controllers for Switched Systems Piecewise–differentiable trajectory outcomes in mechanical systems subject to unilateral constraints
Stability Analysis	Path-Complete Graphs and Common Lyapunov Functions.
State Estimation	Towards Optimal State Estimation of Switched Nonlinear Systems with finite-data-rate measurements
Statistical Model Checking	Statistical Verification of the Toyota Powertrain Control Verification Benchmark
stochastic hybrid models	Reachability Computation for Switching Diffusions: Finite Abstractions of Continuous Models
Stochastic reachability	Forward stochastic reachability analysis for uncontrolled linear systems using Fourier transforms
structural analysis	Structural Analysis of Multi-Mode DAE Systems
Switched Nonlinear Systems	Towards Optimal State Estimation of Switched Nonlinear Systems with finite-data-rate measurements
switched systems	On a class of maximal invariance inducing control strategies for large collections of switched systems
Switching diffusions	Reachability Computation for Switching Diffusions: Finite Abstractions of Continuous Models
T
Taylor models	Forward inner-approximated reachability of non-linear continuous systems
thermostatically controlled loads	On a class of maximal invariance inducing control strategies for large collections of switched systems
time and space discretisation	Reachability Computation for Switching Diffusions: Finite Abstractions of Continuous Models
Time automata	Robust Model Checking of Timed Automata under Clock Drifts
time sampling	Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
Time-Frequency Logic	Abnormal Data Classification Using Time-Frequency Temporal Logic
Timed games	Scheduling of embedded controllers under timing contracts
Topological Entropy	Invariance Feedback Entropy of Non-deterministic Control Systems
Toyota Powertrain Control Models	Statistical Verification of the Toyota Powertrain Control Verification Benchmark
U
Universal Bounds	Invariance Feedback Entropy of Non-deterministic Control Systems
UNSAT Certificates	SMC: Satisfiability modulo Convex Optimization

Disclaimer | Powered by EasyChair Smart Program