HSCC24: HYBRID SYSTEMS: COMPUTATION AND CONTROL 2024

A
Abate, Alessandro	Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models (Tool paper) CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations
Abbas, Houssam	Approximating the Geometry of Temporal Logic Formulas
Abu-Mrad, Christian	Approximating the Geometry of Temporal Logic Formulas
Aghamov, Rajab	Linear Dynamical Systems with Continuous Weight Functions
Akbarzadeh, Omid	Safety Certificates of Stochastic Cyber-Physical Systems with Wireless Communication Networks (Poster presentation)
An, Jie	Learning Deterministic Multi-Clock Timed Automata
Anand, Ashwani	Contract-Based Distributed Logical Controller Synthesis
Arechiga, Nikos	Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles
B
Baier, Christel	Linear Dynamical Systems with Continuous Weight Functions
Bak, Stanley	Falsification using Reachability of Surrogate Koopman Models (Tool paper)
Bals, Severin	MULTIGAIN 2.0: MDP Controller Synthesis for Multiple Mean-Payoff, LTL and Steady-State Constraints (Poster presentation) MULTIGAIN 2.0: MDP Controller Synthesis for Multiple Mean-Payoff, LTL and Steady-State Constraints (Tool paper)
Berger, Guillaume	Algorithms for Identifying Flagged and Guarded Linear Systems Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis
Best, Andrew	Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles
Bogomolov, Sergiy	Falsification using Reachability of Surrogate Koopman Models (Tool paper)
Bracht, Aaron	FaMoS– Fast Model Learning for Hybrid Cyber-Physical Systems using Decision Trees
Bu, Lei	Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters
C
Calbert, Julien	Memoryless Concretization Relation
D
Das, Ratnangshu	Spatiotemporal Tubes for Reach-Avoid-Stay Specifications (Poster presentation)
Dauer, Johann	Temporal Behavior Trees -- Segmentation (Poster presentation) Temporal Behavior Trees: Robustness and Segmentation
DeCastro, Jonathan	Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles
Deng, Yuxin	A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains
Ding, Zuohua	Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning
E
Edwards, Alec	Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models (Tool paper)
Evangelidis, Alexandros	MULTIGAIN 2.0: MDP Controller Synthesis for Multiple Mean-Payoff, LTL and Steady-State Constraints (Poster presentation) MULTIGAIN 2.0: MDP Controller Synthesis for Multiple Mean-Payoff, LTL and Steady-State Constraints (Tool paper)
F
Fey, Goerschwin	FaMoS– Fast Model Learning for Hybrid Cyber-Physical Systems using Decision Trees
Finkbeiner, Bernd	Temporal Behavior Trees -- Segmentation (Poster presentation) Temporal Behavior Trees: Robustness and Segmentation
Fitzsimmons, Maxwell	Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees (Poster presentation) LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction (Tool paper)
Fu, Jianling	A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains
G
Gao, Yulong	CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations
Ghanbarpour, Masoumeh	Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis
Ghorbel, Bassem	Fast and Scalable Monitoring for Value-Freeze Operator augmented Signal Temporal Logic
Girard, Antoine	Memoryless Concretization Relation
Goubault, Eric	Inner and Outer Approximate Quantifier Elimination for General Reachability Problems
Guo, Xiao	Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters
H
Hekal, Abdelrahman	Falsification using Reachability of Surrogate Koopman Models (Tool paper)
Hranisavljevic, Nemanja	FaMoS– Fast Model Learning for Hybrid Cyber-Physical Systems using Decision Trees
J
Jagtap, Pushpak	Spatiotemporal Tubes for Reach-Avoid-Stay Specifications (Poster presentation)
Jensen, Emily	Temporal Behavior Trees -- Segmentation (Poster presentation) Temporal Behavior Trees: Robustness and Segmentation
Jiang, Hui	A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains
Jimenez Leudo, Santiago	A Data-Driven Approach for Certifying Asymptotic Stability and Cost Evaluation for Hybrid Systems
Jin, Chaomin	Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning
Johansson, Karl H.	CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations
Jungers, Raphaël	Memoryless Concretization Relation
K
Karagulle, Ruya	Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles
Karimov, Toghrul	Linear Dynamical Systems with Continuous Weight Functions
Kochdumper, Niklas	Falsification using Reachability of Surrogate Koopman Models (Tool paper)
Kretinsky, Jan	MULTIGAIN 2.0: MDP Controller Synthesis for Multiple Mean-Payoff, LTL and Steady-State Constraints (Poster presentation) MULTIGAIN 2.0: MDP Controller Synthesis for Multiple Mean-Payoff, LTL and Steady-State Constraints (Tool paper)
L
Lavaei, Abolfazl	IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees (Poster presentation) Safety Certificates of Stochastic Cyber-Physical Systems with Wireless Communication Networks (Poster presentation) Abstraction-based Synthesis of Stochastic Hybrid Systems
Lew, Ethan	Falsification using Reachability of Surrogate Koopman Models (Tool paper)
Li, Zhibin	A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains
Liberzon, Daniel	Further Results on Stability of Linear Systems with Slow and Fast Time Variation and Switching
Lin, Wang	Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning
Liu, Jun	Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees (Poster presentation) LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction (Tool paper)
M
Ma, Xiaoxuan	Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning
Mallada, Enrique	Recurrence of Nonlinear Control Systems: Entropy and Bit Rates
Mata, Andrew	Falsification using Reachability of Surrogate Koopman Models (Tool paper)
Mattenet, Sébastien	Memoryless Concretization Relation
Meng, Yiming	Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees (Poster presentation) LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction (Tool paper)
Mitra, Sayan	Data-driven Verification for Safe Autonomy: Reachability, Entropy, and Perception Contracts
Montenegro Gonzalez, Carlos Andres	A Data-Driven Approach for Certifying Asymptotic Stability and Cost Evaluation for Hybrid Systems
Murali, Vishnu	Closure Certificates
N
Narasimhamurthy, Monal	Algorithms for Identifying Flagged and Guarded Linear Systems
Nayak, Satya Prakash	Contract-Based Distributed Logical Controller Synthesis Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates
Nejati, Ameneh	Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates
O
Ouaknine, Joel	Linear Dynamical Systems with Continuous Weight Functions
Ozay, Necmiye	Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles
P
Peruffo, Andrea	Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models (Tool paper)
Piribauer, Jakob	Linear Dynamical Systems with Continuous Weight Functions
Plambeck, Swantje	FaMoS– Fast Model Learning for Hybrid Cyber-Physical Systems using Decision Trees
Prabhu, Vinayak	Fast and Scalable Monitoring for Value-Freeze Operator augmented Signal Temporal Logic
Putot, Sylvie	Inner and Outer Approximate Quantifier Elimination for General Reachability Problems
R
Rahmati, Amir	Falsification using Reachability of Surrogate Koopman Models (Tool paper)
Ren, Tianxiang	Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning
S
Sanfelice, Ricardo G.	A Data-Driven Approach for Certifying Asymptotic Stability and Cost Evaluation for Hybrid Systems
Sankaranarayanan, Sriram	Temporal Behavior Trees -- Segmentation (Poster presentation) Algorithms for Identifying Flagged and Guarded Linear Systems Test-of-Time Award Temporal Behavior Trees: Robustness and Segmentation Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis
Schirmer, Sebastian	Temporal Behavior Trees -- Segmentation (Poster presentation) Temporal Behavior Trees: Robustness and Segmentation
Schmuck, Anne-Kathrin	Contract-Based Distributed Logical Controller Synthesis Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates
Shim, Hyungbo	Further Results on Stability of Linear Systems with Slow and Fast Time Variation and Switching
Sibai, Hussein	Recurrence of Nonlinear Control Systems: Entropy and Bit Rates
Singh, Jasdeep	Temporal Behavior Trees -- Segmentation (Poster presentation) Temporal Behavior Trees: Robustness and Segmentation
T
Teng, Yu	Learning Deterministic Multi-Clock Timed Automata
Trivedi, Ashutosh	Closure Certificates
W
Waibel, Jakob	MULTIGAIN 2.0: MDP Controller Synthesis for Multiple Mean-Payoff, LTL and Steady-State Constraints (Poster presentation) MULTIGAIN 2.0: MDP Controller Synthesis for Multiple Mean-Payoff, LTL and Steady-State Constraints (Tool paper)
Wooding, Ben	IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees (Poster presentation)
X
Xu, Ming	A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains
Z
Zamani, Majid	Closure Certificates
Zhang, Miaomiao	Learning Deterministic Multi-Clock Timed Automata
Zhao, Jianhua	Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters
Zhou, Ruikun	Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees (Poster presentation) LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction (Tool paper)

Disclaimer | Powered by EasyChair Smart Program