default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th ADHS 2024: Boulder, CO, USA
- Abolfazl Lavaei, Pavithra Prabhakar, Luca Zaccarian, Majid Zamani:
8th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2024, Boulder, CO, USA, July 1-3, 2024. IFAC-PapersOnLine 58(11), Elsevier 2024 - Frederik Baymler Mathiesen
, Morteza Lahijanian, Luca Laurenti:
IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes. 1-6 - Yejiang Yang, Zihao Mo, Weiming Xiang:
D3NN: Data-Driven Dual-level Neural Network Tool for Dynamical System Modeling and Abstraction. 7-12 - Bingzhuo Zhong, Murat Arcak, Majid Zamani:
Hierarchical Control for Cyber-Physical Systems via General Approximate Alternating Simulation Relations. 13-18 - Juan Javier Palacios Roman, Sigurdur F. Hafstein, Sebastiaan J. A. M. van den Eijnden, Marcel François Heertjes, W. P. M. H. Heemels:
Stability Analysis of Hybrid Integrator-Gain Systems using Linear Programming. 19-24 - Antoine Aspeel, Necmiye Ozay:
A Simulation Preorder for Koopman-like Lifted Control Systems. 25-30 - Alexis Vuille, Guillaume O. Berger, Raphaël M. Jungers:
Data-Driven Stability Analysis of Switched Linear Systems Using Adaptive Sampling. 31-36 - Ludovico Battista, Stefano Tonetta:
Formal Verification of Stability for Parametric affine Switched Systems. 37-42 - Jonah J. Glunt, Jacob A. Siefert, Andrew F. Thompson, Herschel C. Pangborn:
Error Bounds for Compositions of Piecewise affine Approximations. 43-50 - Nan Wang, Ricardo G. Sanfelice:
HyRRT-Connect: An Efficient Bidirectional Rapidly-Exploring Random Trees Motion Planning Algorithm for Hybrid Dynamical Systems. 51-56 - Felipe Galarza-Jimenez, Vishnu Murali, Majid Zamani:
Compositional Synthesis of Controllers via Co-Büchi Barrier Certificates. 57-62 - Behrad Samari, Matteo Della Rossa, Abolfazl Lavaei, Sadegh Soudjani, Raphaël M. Jungers:
Multiplicative Barrier Certificates for Probabilistic Safety of Markov Jump Systems. 63-68 - Taha Yasini, Ali Pakniyat:
Hybrid Optimal Control of a Flying+Sailing Drone: Flying with 6 and Sailing with 5 Degrees of Freedom. 69-74 - Akash Harapanahalli, Saber Jafarpour, Samuel Coogan:
immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX. 75-80 - Bingzhuo Zhong, Weijie Dong, Xiang Yin, Majid Zamani:
Verification of Diagnosability for Cyber-Physical Systems via Hybrid Barrier Certificates. 81-86 - Hadi Dayekh, Nicolas Basset, Thao Dang:
Hybrid System Identification through Optimization and Active Learning. 87-92 - Maico Hendrikus Wilhelmus Engelaar, Zengjie Zhang, M. Lazar, Sofie Haesaert:
Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics. 93-98 - Negar Monir, Oliver Schön, Sadegh Soudjani:
Lyapunov-Based Policy Synthesis for Multi-Objective Interval MDPs. 99-106 - Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani:
Safe Reach Set Computation via Neural Barrier Certificates. 107-114 - Oliver Schön, Shammakh Naseer, Ben Wooding, Sadegh Soudjani:
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification. 115-122 - Riccardo Bertollo, Sebastiaan van den Eijnden, W. P. Maurice H. Heemels:
Incremental Stability of Discrete-Time First-Order Projection Elements. 123-128 - Alireza Nadali, Ashutosh Trivedi, Majid Zamani:
Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model. 129-134 - Emmanuel Wafo Wembe Jr., Adnane Saoud:
On Robust Controlled Invariants for Continuous-time Monotone Systems. 135-140 - Andrew R. Teel, Rafal Goebel:
Stochastic approximations of hybrid systems with continuous flow maps. 141-146 - Anas Makdesi, Antoine Girard, Laurent Fribourg:
Online Learning for Safe Model Predictive Control with the Compatible Models Approach. 147-152 - Sadek Belamfedel Alaoui, Adnane Saoud:
Necessary and sufficient Conditions of Forward Invariance in Hybrid Dnamical Systems: An LMI Approach. 153-158 - Paul K. Wintz, Ricardo G. Sanfelice:
Conical Transition Graphs for Analysis of Asymptotic Stability in Hybrid Dynamical Systems. 159-164 - Santiago Jimenez Leudo, Philipp Braun, Ricardo G. Sanfelice, Iman Shames:
A Hybrid Dynamical System Formulation of Capture-the-Flag Games. 165-170 - Mahathi Anand, Majid Zamani:
Distributed Safety Controller Synthesis for Unknown Interconnected Systems via Graph Neural Networks. 171-176 - B. C. van Huijgevoort, Chris Verhoek, Roland Tóth, Sofie Haesaert:
Direct data-driven control with signal temporal logic specifications. 177-182 - Navid Hashemi, Samuel Williams, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh:
LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers. 183-188 - Sadek Belamfedel Alaoui, Adnane Saoud:
Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties. 189-194 - Ratan Lal, Pavithra Prabhakar:
Verification of Parametric Properties of Linear Discrete-time Stochastic Systems. 195-200 - Jun Liu, Yiming Meng, Ruikun Zhou:
LyZNet with Control: Physics-Informed Neural Network Control of Nonlinear Systems with Formal Guarantees. 201-206 - Daniel E. Ochoa, Jorge I. Poveda:
On Hybrid Prescribed-Time Concurrent Learning with Switching Datasets. 207-212
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.
last updated on 2025-12-04 22:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
