default search action

combined dblp search
author search
venue search
publication search

ask others

27th HSCC 2024: Hong Kong, SAR, China

> Home > Conferences and Workshops > HSCC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/2024
Erika Ábrahám, Manuel Mazo Jr.:
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024. ACM 2024

Keynote

- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/Mitra24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/Mitra24
Sayan Mitra:
Data-driven Verification of Autonomous Systems: Reachability, Entropy, and Contracts. 1:1

Research papers- Stability

- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/ShimL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/ShimL24
Hyungbo Shim, Daniel Liberzon:
Further results on stability of linear systems with slow and fast time variation and switching. 2:1-2:7
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/GuoZB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/GuoZB24
Xiao Guo, Jianhua Zhao, Lei Bu:
Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters. 3:1-3:12
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/GLS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/GLS24
Carlos A. Montenegro G., Santiago J. Leudo, Ricardo G. Sanfelice:
A Data-Driven Approach for Certifying Asymptotic Stability and Cost Evaluation for Hybrid Systems. 4:1-4:10

Learning

- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/KaragulleOADB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/KaragulleOADB24
Ruya Karagulle, Necmiye Ozay, Nikos Aréchiga, Jonathan A. DeCastro, Andrew Best:
Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles. 5:1-5:11
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/TengZ024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/TengZ024
Yu Teng, Miaomiao Zhang, Jie An:
Learning Deterministic Multi-Clock Timed Automata. 6:1-6:11
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/PlambeckBHF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/PlambeckBHF24
Swantje Plambeck, Aaron Bracht, Nemanja Hranisavljevic, Görschwin Fey:
FaMoS- Fast Model Learning for Hybrid Cyber-Physical Systems using Decision Trees. 7:1-7:10

Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/GoubaultP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/GoubaultP24
Eric Goubault, Sylvie Putot:
Inner and outer approximate quantifier elimination for general reachability problems. 8:1-8:11
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/SchirmerSJDF024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/SchirmerSJDF024
Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan:
Temporal Behavior Trees: Robustness and Segmentation. 9:1-9:14
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/MuraliTZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/MuraliTZ24
Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
Closure Certificates. 10:1-10:11

Synthesis

- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/AnandSN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/AnandSN24
Ashwani Anand, Anne-Kathrin Schmuck, Satya Prakash Nayak:
Contract-Based Distributed Logical Controller Synthesis. 11:1-11:11
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BergerGS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BergerGS24
Guillaume O. Berger, Masoumeh Ghanbarpour, Sriram Sankaranarayanan:
Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis. 12:1-12:16
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/JinMRLD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/JinMRLD24
Chaomin Jin, Xiaoxuan Ma, Tianxiang Ren, Wang Lin, Zuohua Ding:
Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning. 13:1-13:10
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/CalbertMGJ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/CalbertMGJ24
Julien Calbert, Sébastien M. Mattenet, Antoine Girard, Raphaël M. Jungers:
Memoryless concretization relation. 14:1-14:9

Modeling and Specification

- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BergerN024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BergerN024
Guillaume O. Berger, Monal Narasimhamurthy, Sriram Sankaranarayanan:
Algorithms for Identifying Flagged and Guarded Linear Systems. 15:1-15:13
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/Abou-MradA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/Abou-MradA24
Christian Abou-Mrad, Houssam Abbas:
Approximating the Geometry of Temporal Logic Formulas. 16:1-16:10
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/GhorbelP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/GhorbelP24
Bassem Ghorbel, Vinayak S. Prabhu:
Fast and Scalable Monitoring for Value-Freeze Operator augmented Signal Temporal Logic. 17:1-17:12

Stochastic Systems I + II

- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/JiangFXD024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/JiangFXD024
Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li:
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains. 18:1-18:12
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/Lavaei24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/Lavaei24
Abolfazl Lavaei:
Abstraction-based Synthesis of Stochastic Hybrid Systems. 19:1-19:11
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/GaoJA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/GaoJA24
Yulong Gao, Karl Henrik Johansson, Alessandro Abate:
CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations. 20:1-20:12
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/NejatiNS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/NejatiNS24
Ameneh Nejati, Satya Prakash Nayak, Anne-Kathrin Schmuck:
Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates. 21:1-21:12

Analysis II

- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/AghamovBKOP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/AghamovBKOP24
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer:
Linear dynamical systems with continuous weight functions. 22:1-22:11
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/SibaiM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/SibaiM24
Hussein Sibai, Enrique Mallada:
Recurrence of Nonlinear Control Systems: Entropy and Bit Rates. 23:1-23:9

Tools

- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BalsEKW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BalsEKW24
Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel:
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱. 24:1-24:7
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/LiuMFZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/LiuMFZ24
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou:
TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction. 25:1-25:8
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/EdwardsPA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/EdwardsPA24
Alec Edwards, Andrea Peruffo, Alessandro Abate:
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models. 26:1-26:10
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BakBHKLMR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BakBHKLMR24
Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati:
Falsification using Reachability of Surrogate Koopman Models. 27:1-27:13

Posters and Demos

- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/DasJ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/DasJ24
Ratnangshu Das, Pushpak Jagtap:
Spatiotemporal Tubes for Reach-Avoid-Stay Specifications✱. 28:1-28:2
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/AkbarzadehL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/AkbarzadehL24
Omid Akbarzadeh, Abolfazl Lavaei:
Safety Certificates of Stochastic Cyber-Physical Systems with Wireless Communication Networks. 29:1-29:2
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/WoodingL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/WoodingL24
Ben Wooding, Abolfazl Lavaei:
IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees. 30:1-30:2
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/SchirmerSJDFS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/SchirmerSJDFS24
Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan:
Temporal Behavior Trees - Segmentation. 31:1-31:2
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/LiuMFZ24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/LiuMFZ24a
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou:
Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees. 32:1-32:2
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BalsEKW24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BalsEKW24a
Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel:
Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱. 33:1-33:2

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.