default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th ADHS 2021: Brussels, Belgium
- Raphaël M. Jungers, Necmiye Ozay, Alessandro Abate:
7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021. IFAC-PapersOnLine 54(5), Elsevier 2021 - Alexander Robey, Lars Lindemann, Stephen Tu, Nikolai Matni:
Learning Robust Hybrid Control Barrier Functions for Uncertain Systems. 1-6 - Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates. 7-12 - Martijn A. Goorden
, Kim G. Larsen, Jesper E. Nielsen, Thomas D. Nielsen, Michael R. Rasmussen, Jirí Srba:
Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds. 13-18 - Tyler Westenbroek, Ayush Agrawal, Fernando Castañeda, S. Shankar Sastry, Koushil Sreenath:
Combining Model-Based Design and Model-Free Policy Optimization to Learn Safe, Stabilizing Controllers. 19-24 - Miel Sharf, Bart Besselink, Adam Molin, Qiming Zhao, Karl Henrik Johansson:
Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools. 25-30 - Yinan Li, Zhibing Sun, Jun Liu:
ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems. 31-36 - Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer:
ModelGuard: Runtime Validation of Lipschitz-continuous Models. 37-42 - Wael Fatnassi, Yasser Shoukry:
PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement. 43-48 - Anas Makdesi, Antoine Girard, Laurent Fribourg:
Efficient Data-Driven Abstraction of Monotone Systems with Disturbances. 49-54 - Louis Massucci, Fabien Lauer, Marion Gilson:
Regularized Switched System Identification: a Statistical Learning Perspective. 55-60 - Vittorio De Iuliis, Francesco Smarra, Costanzo Manes, Alessandro D'Innocenzo:
On the Stability of Switched ARX Models, with an Application to Learning via Regression Trees. 61-66 - Anne Rubbens, Zheming Wang, Raphaël M. Jungers:
Data-driven stability analysis of switched linear systems with Sum of Squares guarantees. 67-72 - Ryan S. Johnson, Berk Altin, Ricardo G. Sanfelice:
Hybrid Adaptive Control for the DC-DC Boost Converter. 73-78 - Benoît Legat, Raphaël M. Jungers:
Geometric control of algebraic systems. 79-84 - Victor Gaßmann, Matthias Althoff:
Verified Polynomial Controller Synthesis for Disturbed Nonlinear Systems. 85-90 - Adnane Saoud, Ricardo G. Sanfelice:
Computation of Controlled Invariants for Nonlinear Systems: Application to Safe Neural Networks Approximation and Control. 91-96 - Liren Yang, Necmiye Ozay:
Safety Control Synthesis for Systems with Missing Measurements. 97-102 - Syed M. Hassaan, Tarun Pati, Qiang Shen, Sze Zheng Yong:
Time-Varying Tube-Based Output Feedback MPC for Constrained Linear Systems with Intermittently Delayed Data. 103-108 - Elena Ivanova, Antoine Girard:
Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration. 109-114 - Pavithra Prabhakar, Jun Liu:
Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical Systems. 115-120 - Pouria Tajvar, Pierre-Jean Meyer, Jana Tumova:
Closed-loop incremental stability for efficient symbolic control of non-linear systems. 121-126 - Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani:
Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games. 127-132 - Xinyong Wang, Ying Tang, Christophe Fiter, Laurentiu Hetel:
A Hybrid System Approach to Exponential Stability with Sampled-data Control for a Class of Linear Hyperbolic Systems. 133-138 - Jawher Jerray, Laurent Fribourg:
Determination of limit cycles using stroboscopic set-valued maps. 139-144 - Atreyee Kundu:
Yet another matrix commutator condition for stabilizability of discrete-time switched linear systems. 145-150 - Virginie Debauche, Matteo Della Rossa, Raphaël M. Jungers:
Template-Dependent Lifts for Path-Complete Stability Criteria and Application to Positive Switching Systems. 151-156 - Philipp Braun, Luca Zaccarian:
Augmented obstacle avoidance controller design for mobile robots. 157-162 - Zexiang Liu, Necmiye Ozay:
Safe Online Planning in Unknown Nonconvex Environments with Implicit Controlled Invariant Sets. 163-168 - Kristina Miller, Chuchu Fan, Sayan Mitra:
Planning in Dynamic and Partially Unknown Environments. 169-174 - Fabio Bagagiolo, Adriano Festa, Luciano Marzufero:
The orienteering problem: a hybrid control formulation. 175-180 - Tyler Westenbroek, Xiaobin Xiong, S. Shankar Sastry, Aaron D. Ames:
Smooth Approximations for Hybrid Optimal Control Problems with Application to Robotic Walking. 181-186 - Yahao Chen, Stephan Trenn:
An approximation for nonlinear differential-algebraic equations via singular perturbation theory. 187-192 - Clotilde Djuikem, Agustín Gabriel Yabo, Frédéric Grognard, Suzanne Touzeau:
Mathematical modelling and optimal control of the seasonal coffee leaf rust propagation. 193-198 - Riccardo Bertollo, Michael Schwegel, Andreas Kugi, Luca Zaccarian:
Reset-control-based current tracking for a solenoid with unknown parameters. 199-204 - Nicolas Augier, Agustín Gabriel Yabo:
Time-optimal control of piecewise affine bistable gene-regulatory networks: preliminary results. 205-210 - Nicola Zaupa, Luis Martínez-Salamero, Carlos Olalla, Luca Zaccarian:
Results on hybrid control of self-oscillating resonant converters. 211-216 - Sota Sato, Masaki Waga, Ichiro Hasuo:
Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis. 217-222 - Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina, Enrico Regolin:
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. 223-228 - Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic:
Adaptive Testing for Specification Coverage in CPS Models. 229-234 - Eric Goubault, Sylvie Putot:
Tractable higher-order under-approximating AE extensions for non-linear systems. 235-240 - Fabio Bagagiolo, Adriano Festa, Luciano Marzufero:
A hybrid control framework for an optimal visiting problem. 241-246 - Yong Kiam Tan, André Platzer:
Switched Systems as Hybrid Programs. 247-252 - Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin:
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. 253-258 - Ahmad Madary, Hamid Reza Momeni, Alessandro Abate, Kim G. Larsen:
A Bayesian Framework for Large-Scale Identification of Nonlinear Hybrid Systems. 259-264 - Jawher Jerray, Laurent Fribourg, Étienne André:
An Approximation of Minimax Control using Random Sampling and Symbolic Computation. 265-270 - Ilker Isik, Onur Yigit Arpali, Ebru Aydin Gol:
Optimal Policy Synthesis from A Sequence of Goal Sets with An Application to Electric Distribution System Restoration. 271-276 - Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems. 277-282 - Guillaume O. Berger, Maben Rabi:
Bounds on set exit times of affine systems, using Linear Matrix Inequalities. 283-288 - D. van Dinther, Bardia Sharif, S. J. A. M. van den Eijnden, Henk Nijmeijer, Marcel François Heertjes, W. P. M. H. Heemels:
Overcoming Performance Limitations of Linear Control with Hybrid Integrator-Gain Systems. 289-294 - Mathias Serieye, Carolina Albea, Alexandre Seuret, Marc Jungers:
Synchronization on a limit cycle of multi-agent systems governed by discrete-time switched affine dynamics. 295-300 - Lucas N. Egidio, Anders Hansson:
On the Search for Equilibrium Points of Switched Affine Systems. 301-306
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 2024-11-05 21:08 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:
