ADHS

Keyphrases

Publications

2021

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. ADHS (2021)
Ahmad Madary, Hamid Reza Momeni, Alessandro Abate, Kim G. Larsen
A Bayesian Framework for Large-Scale Identification of Nonlinear Hybrid Systems. ADHS (2021)
Virginie Debauche, Matteo Della Rossa, Raphaël M. Jungers
Template-Dependent Lifts for Path-Complete Stability Criteria and Application to Positive Switching Systems. ADHS (2021)
Alexander Robey, Lars Lindemann, Stephen Tu, Nikolai Matni
Learning Robust Hybrid Control Barrier Functions for Uncertain Systems. ADHS (2021)
Anne Rubbens, Zheming Wang, Raphaël M. Jungers
Data-driven stability analysis of switched linear systems with Sum of Squares guarantees. ADHS (2021)
Tyler Westenbroek, Xiaobin Xiong, S. Shankar Sastry, Aaron D. Ames
Smooth Approximations for Hybrid Optimal Control Problems with Application to Robotic Walking. ADHS (2021)
Benoît Legat, Raphaël M. Jungers
Geometric control of algebraic systems. ADHS (2021)
Adnane Saoud, Ricardo G. Sanfelice
Computation of Controlled Invariants for Nonlinear Systems: Application to Safe Neural Networks Approximation and Control. ADHS (2021)
Eric Goubault, Sylvie Putot
Tractable higher-order under-approximating AE extensions for non-linear systems. ADHS (2021)
Ryan S. Johnson, Berk Altin, Ricardo G. Sanfelice
Hybrid Adaptive Control for the DC-DC Boost Converter. ADHS (2021)
Sota Sato, Masaki Waga, Ichiro Hasuo
Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis. ADHS (2021)
Fabio Bagagiolo, Adriano Festa, Luciano Marzufero
A hybrid control framework for an optimal visiting problem. ADHS (2021)
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
Adaptive Testing for Specification Coverage in CPS Models. ADHS (2021)
Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems. ADHS (2021)
Jawher Jerray, Laurent Fribourg, Étienne André
An Approximation of Minimax Control using Random Sampling and Symbolic Computation. ADHS (2021)
Zexiang Liu, Necmiye Ozay
Safe Online Planning in Unknown Nonconvex Environments with Implicit Controlled Invariant Sets. ADHS (2021)
Pavithra Prabhakar, Jun Liu
Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical Systems. ADHS (2021)
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. ADHS (2021)
Yahao Chen, Stephan Trenn
An approximation for nonlinear differential-algebraic equations via singular perturbation theory. ADHS (2021)
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina, Enrico Regolin
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. ADHS (2021)
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. ADHS (2021)
Miel Sharf, Bart Besselink, Adam Molin, Qiming Zhao, Karl Henrik Johansson
Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools. ADHS (2021)
Jawher Jerray, Laurent Fribourg
Determination of limit cycles using stroboscopic set-valued maps. ADHS (2021)
Nicola Zaupa, Luis Martínez-Salamero, Carlos Olalla, Luca Zaccarian
Results on hybrid control of self-oscillating resonant converters. ADHS (2021)
Mathias Serieye, Carolina Albea, Alexandre Seuret, Marc Jungers
Synchronization on a limit cycle of multi-agent systems governed by discrete-time switched affine dynamics. ADHS (2021)
Pouria Tajvar, Pierre-Jean Meyer, Jana Tumova
Closed-loop incremental stability for efficient symbolic control of non-linear systems. ADHS (2021)
Liren Yang, Necmiye Ozay
Safety Control Synthesis for Systems with Missing Measurements. ADHS (2021)
Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. ADHS (2021)
Wael Fatnassi, Yasser Shoukry
PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement. ADHS (2021)
R. Bertollo, Michael Schwegel, Andreas Kugi, Luca Zaccarian
Reset-control-based current tracking for a solenoid with unknown parameters. ADHS (2021)
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. ADHS (2021)
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. ADHS (2021)
Yong Kiam Tan, André Platzer
Switched Systems as Hybrid Programs. ADHS (2021)
Atreyee Kundu
Yet another matrix commutator condition for stabilizability of discrete-time switched linear systems. ADHS (2021)
Victor Gaßmann, Matthias Althoff
Verified Polynomial Controller Synthesis for Disturbed Nonlinear Systems. ADHS (2021)
Guillaume O. Berger, Maben Rabi
Bounds on set exit times of affine systems, using Linear Matrix Inequalities. ADHS (2021)
Kristina Miller, Chuchu Fan, Sayan Mitra
Planning in Dynamic and Partially Unknown Environments. ADHS (2021)
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games. ADHS (2021)
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. ADHS (2021)
Anas Makdesi, Antoine Girard, Laurent Fribourg
Efficient Data-Driven Abstraction of Monotone Systems with Disturbances. ADHS (2021)
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates. ADHS (2021)
Clotilde Djuikem, Agustín Gabriel Yabo, Frédéric Grognard, Suzanne Touzeau
Mathematical modelling and optimal control of the seasonal coffee leaf rust propagation. ADHS (2021)
Yinan Li, Zhibing Sun, Jun Liu
ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems. ADHS (2021)
Louis Massucci, Fabien Lauer, Marion Gilson
Regularized Switched System Identification: a Statistical Learning Perspective. ADHS (2021)
Fabio Bagagiolo, Adriano Festa, Luciano Marzufero
The orienteering problem: a hybrid control formulation. ADHS (2021)
Nicolas Augier, Agustín Gabriel Yabo
Time-optimal control of piecewise affine bistable gene-regulatory networks: preliminary results. ADHS (2021)
Lucas N. Egidio, Anders Hansson
On the Search for Equilibrium Points of Switched Affine Systems. ADHS (2021)
Philipp Braun, Luca Zaccarian
Augmented obstacle avoidance controller design for mobile robots. ADHS (2021)
Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer
ModelGuard: Runtime Validation of Lipschitz-continuous Models. ADHS (2021)

volume 54, number 5, 2021

7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021 ADHS 54 (5) (2021)