HSCC24: HYBRID SYSTEMS: COMPUTATION AND CONTROL 2024

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

A
Abstract Interpretation	Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis
Abstraction	Memoryless Concretization Relation
active learning	Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles Learning Deterministic Multi-Clock Timed Automata
Alternating Simulation	Memoryless Concretization Relation
approximation algorithms	Algorithms for Identifying Flagged and Guarded Linear Systems
Assume/Guarantee Contracts	Contract-Based Distributed Logical Controller Synthesis
automata learning	Learning Deterministic Multi-Clock Timed Automata
Automated controller synthesis	IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees (Poster presentation)
Averaging	Further Results on Stability of Linear Systems with Slow and Fast Time Variation and Switching
Award	Test-of-Time Award
B
Barrier certificat	Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning
Barrier certificates	Closure Certificates
Bayesian Optimization	Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning
BIBO Stability	Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters
Buchi automata	Closure Certificates
C
Closed-form Control	Spatiotemporal Tubes for Reach-Avoid-Stay Specifications (Poster presentation)
combinatorial optimization	Algorithms for Identifying Flagged and Guarded Linear Systems
computation tree logic	CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations
computer algebra	A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains
Computer-aided control synthesis	Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models (Tool paper)
Computer-aided verification	Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models (Tool paper)
continuous weight functions	Linear Dynamical Systems with Continuous Weight Functions
Control barrier certificates	Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates Safety Certificates of Stochastic Cyber-Physical Systems with Wireless Communication Networks (Poster presentation)
Control under bandwidth constraints	Recurrence of Nonlinear Control Systems: Entropy and Bit Rates
Controller synthesis	Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning Memoryless Concretization Relation
Cost Evaluation	A Data-Driven Approach for Certifying Asymptotic Stability and Cost Evaluation for Hybrid Systems
CPS	Temporal Behavior Trees -- Segmentation (Poster presentation) Data-driven Verification for Safe Autonomy: Reachability, Entropy, and Perception Contracts
Cyber-physical system	Temporal Behavior Trees: Robustness and Segmentation
Cyber-Physical Systems	Falsification using Reachability of Surrogate Koopman Models (Tool paper) FaMoS– Fast Model Learning for Hybrid Cyber-Physical Systems using Decision Trees
D
Data-Driven	A Data-Driven Approach for Certifying Asymptotic Stability and Cost Evaluation for Hybrid Systems
Data-driven verification	Data-driven Verification for Safe Autonomy: Reachability, Entropy, and Perception Contracts
decision procedure	A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains
Decision Trees	FaMoS– Fast Model Learning for Hybrid Cyber-Physical Systems using Decision Trees
deterministic multi-clock timed automata	Learning Deterministic Multi-Clock Timed Automata
Digital Filter	Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters
discounted reward	Linear Dynamical Systems with Continuous Weight Functions
Discrete-time systems	Closure Certificates
Distributed Synthesis	Contract-Based Distributed Logical Controller Synthesis
E
Entropy	Data-driven Verification for Safe Autonomy: Reachability, Entropy, and Perception Contracts
F
Falsification	Falsification using Reachability of Surrogate Koopman Models (Tool paper)
Feedback Refinement	Memoryless Concretization Relation
formal controller synthesis	Abstraction-based Synthesis of Stochastic Hybrid Systems Safety Certificates of Stochastic Cyber-Physical Systems with Wireless Communication Networks (Poster presentation)
Formal verification	LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction (Tool paper) Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees (Poster presentation)
Freeze quantifiers	Fast and Scalable Monitoring for Value-Freeze Operator augmented Signal Temporal Logic
H
Hybrid controllers	Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates
Hybrid Dynamical Systems	FaMoS– Fast Model Learning for Hybrid Cyber-Physical Systems using Decision Trees
Hybrid Systems	A Data-Driven Approach for Certifying Asymptotic Stability and Cost Evaluation for Hybrid Systems Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis Test-of-Time Award
hybrid systems identification	Algorithms for Identifying Flagged and Guarded Linear Systems
I
Incremental-ISS property	Abstraction-based Synthesis of Stochastic Hybrid Systems
Inner-approximations	Inner and Outer Approximate Quantifier Elimination for General Reachability Problems
interval analysis	LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction (Tool paper)
Interval Markov decision process	IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees (Poster presentation)
Invariance Entropy	Recurrence of Nonlinear Control Systems: Entropy and Bit Rates
Invariant Generation	Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters
Invariant Synthesis	Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis
K
Koopman Operator Linearization	Falsification using Reachability of Surrogate Koopman Models (Tool paper)
L
Large-scale stochastic systems	IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees (Poster presentation)
linear dynamical systems	Linear Dynamical Systems with Continuous Weight Functions
Linear Temporal Logic	Closure Certificates
Logical Control	Contract-Based Distributed Logical Controller Synthesis
Lyapunov functions	Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models (Tool paper) Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees (Poster presentation)
Lyapunov Stability	A Data-Driven Approach for Certifying Asymptotic Stability and Cost Evaluation for Hybrid Systems Further Results on Stability of Linear Systems with Slow and Fast Time Variation and Switching
M
Machine Learning	FaMoS– Fast Model Learning for Hybrid Cyber-Physical Systems using Decision Trees
Markov decision process	MULTIGAIN 2.0: MDP Controller Synthesis for Multiple Mean-Payoff, LTL and Steady-State Constraints (Tool paper) MULTIGAIN 2.0: MDP Controller Synthesis for Multiple Mean-Payoff, LTL and Steady-State Constraints (Poster presentation)
Markov decision processes	CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations
mean payoff	Linear Dynamical Systems with Continuous Weight Functions
mixed-logic dynamic systems	Algorithms for Identifying Flagged and Guarded Linear Systems
Mode-dependent reachability games	Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates
model checking	A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains
Monitoring	Fast and Scalable Monitoring for Value-Freeze Operator augmented Signal Temporal Logic Approximating the Geometry of Temporal Logic Formulas
N
neural networks	Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models (Tool paper) LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction (Tool paper)
Nonlinear Control Systems	Recurrence of Nonlinear Control Systems: Entropy and Bit Rates
Nonlinear stochastic systems	Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates
nonlinear systems	LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction (Tool paper) Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees (Poster presentation)
O
Offline analysis	Temporal Behavior Trees: Robustness and Segmentation
Offline segmentation	Temporal Behavior Trees -- Segmentation (Poster presentation)
Optimal control	Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees (Poster presentation)
Outer-approximations	Inner and Outer Approximate Quantifier Elimination for General Reachability Problems
P
packet loss	Safety Certificates of Stochastic Cyber-Physical Systems with Wireless Communication Networks (Poster presentation)
Parallel construction	IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees (Poster presentation)
Parity Games	Contract-Based Distributed Logical Controller Synthesis
Permissive Control	Contract-Based Distributed Logical Controller Synthesis
Physics-informed neural networks	Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees (Poster presentation)
piecewise affine regression	Algorithms for Identifying Flagged and Guarded Linear Systems
preference learning	Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles
probabilistic model checking	MULTIGAIN 2.0: MDP Controller Synthesis for Multiple Mean-Payoff, LTL and Steady-State Constraints (Tool paper) MULTIGAIN 2.0: MDP Controller Synthesis for Multiple Mean-Payoff, LTL and Steady-State Constraints (Poster presentation)
Q
Quantified problems	Inner and Outer Approximate Quantifier Elimination for General Reachability Problems
quantitative verification	MULTIGAIN 2.0: MDP Controller Synthesis for Multiple Mean-Payoff, LTL and Steady-State Constraints (Tool paper) MULTIGAIN 2.0: MDP Controller Synthesis for Multiple Mean-Payoff, LTL and Steady-State Constraints (Poster presentation)
quantum computing	A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains
R
Reach-avoid-stay Task	Spatiotemporal Tubes for Reach-Avoid-Stay Specifications (Poster presentation)
Reach-while-avoid specifications	Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates
Reachability	Inner and Outer Approximate Quantifier Elimination for General Reachability Problems Data-driven Verification for Safe Autonomy: Reachability, Entropy, and Perception Contracts
reachability analysis	Falsification using Reachability of Surrogate Koopman Models (Tool paper) CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains
real-time system	A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains
Recurrence Entropy	Recurrence of Nonlinear Control Systems: Entropy and Bit Rates
Reinforcement learning	Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning
reset-logical-timed language	Learning Deterministic Multi-Clock Timed Automata
S
safety	Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles
Safety Verification	Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis
satisfiability modulo theories	LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction (Tool paper)
Segmentation	Temporal Behavior Trees: Robustness and Segmentation
set geometry	Approximating the Geometry of Temporal Logic Formulas
Signal Temporal Logic	Falsification using Reachability of Surrogate Koopman Models (Tool paper) Fast and Scalable Monitoring for Value-Freeze Operator augmented Signal Temporal Logic
SMT-Solvers	Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models (Tool paper)
Spatiotemporal Tubes	Spatiotemporal Tubes for Reach-Avoid-Stay Specifications (Poster presentation)
stability analysis	LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction (Tool paper) Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees (Poster presentation)
Stochastic cyber-physical systems	Safety Certificates of Stochastic Cyber-Physical Systems with Wireless Communication Networks (Poster presentation)
Stochastic hybrid systems	Abstraction-based Synthesis of Stochastic Hybrid Systems
Stochastic simulation functions	Abstraction-based Synthesis of Stochastic Hybrid Systems
Sum-of-Squares	Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis
Switched systems	Further Results on Stability of Linear Systems with Slow and Fast Time Variation and Switching
Symbolic Control	Memoryless Concretization Relation
synthesis	Approximating the Geometry of Temporal Logic Formulas
system identification	Algorithms for Identifying Flagged and Guarded Linear Systems
T
Temporal behavior trees	Temporal Behavior Trees: Robustness and Segmentation Temporal Behavior Trees -- Segmentation (Poster presentation)
temporal logic	Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles Approximating the Geometry of Temporal Logic Formulas Temporal Behavior Trees: Robustness and Segmentation Temporal Behavior Trees -- Segmentation (Poster presentation)
Test of Time	Test-of-Time Award
timed language	Learning Deterministic Multi-Clock Timed Automata
Timed Temporal Logic	Fast and Scalable Monitoring for Value-Freeze Operator augmented Signal Temporal Logic
Topological entropy	Recurrence of Nonlinear Control Systems: Entropy and Bit Rates
total reward	Linear Dynamical Systems with Continuous Weight Functions
transient probability distributions	CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations
V
Verification	Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters
W
wireless communications	Safety Certificates of Stochastic Cyber-Physical Systems with Wireless Communication Networks (Poster presentation)

Disclaimer | Powered by EasyChair Smart Program