Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Taylor J. Carpenter, Radoslav Ivanov, Insup Lee 0001, James Weimer |
ModelGuard: Runtime Validation of Lipschitz-continuous Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 37-42, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Braun, Luca Zaccarian |
Augmented obstacle avoidance controller design for mobile robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 157-162, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Serieye, Carolina Albea, Alexandre Seuret, Marc Jungers |
Synchronization on a limit cycle of multi-agent systems governed by discrete-time switched affine dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 295-300, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Zaupa, Luis Martínez-Salamero, Carlos Olalla, Luca Zaccarian |
Results on hybrid control of self-oscillating resonant converters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 211-216, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jawher Jerray, Laurent Fribourg |
Determination of limit cycles using stroboscopic set-valued maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 139-144, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lucas N. Egidio, Anders Hansson |
On the Search for Equilibrium Points of Switched Affine Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 301-306, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ryan S. Johnson, Berk Altin, Ricardo G. Sanfelice |
Hybrid Adaptive Control for the DC-DC Boost Converter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 73-78, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 13-18, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Adnane Saoud, Ricardo G. Sanfelice |
Computation of Controlled Invariants for Nonlinear Systems: Application to Safe Neural Networks Approximation and Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 91-96, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Eric Goubault, Sylvie Putot |
Tractable higher-order under-approximating AE extensions for non-linear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 235-240, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yahao Chen, Stephan Trenn |
An approximation for nonlinear differential-algebraic equations via singular perturbation theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 187-192, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Clotilde Djuikem, Agustín Gabriel Yabo, Frédéric Grognard, Suzanne Touzeau |
Mathematical modelling and optimal control of the seasonal coffee leaf rust propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 193-198, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yinan Li 0001, Zhibing Sun, Jun Liu 0015 |
ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 31-36, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina, Enrico Regolin |
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 223-228, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Miel Sharf, Bart Besselink, Adam Molin, Qiming Zhao, Karl Henrik Johansson |
Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 25-30, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Augier, Agustín Gabriel Yabo |
Time-optimal control of piecewise affine bistable gene-regulatory networks: preliminary results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 205-210, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Virginie Debauche, Matteo Della Rossa, Raphaël M. Jungers |
Template-Dependent Lifts for Path-Complete Stability Criteria and Application to Positive Switching Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 151-156, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Anas Makdesi, Antoine Girard, Laurent Fribourg |
Efficient Data-Driven Abstraction of Monotone Systems with Disturbances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 49-54, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Xinyong Wang, Ying Tang 0006, Christophe Fiter, Laurentiu Hetel |
A Hybrid System Approach to Exponential Stability with Sampled-data Control for a Class of Linear Hyperbolic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 133-138, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pavithra Prabhakar, Jun Liu 0015 |
Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 115-120, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani |
Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 127-132, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 289-294, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Legat, Raphaël M. Jungers |
Geometric control of algebraic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 79-84, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tyler Westenbroek, Xiaobin Xiong, S. Shankar Sastry, Aaron D. Ames |
Smooth Approximations for Hybrid Optimal Control Problems with Application to Robotic Walking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 181-186, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume O. Berger, Maben Rabi |
Bounds on set exit times of affine systems, using Linear Matrix Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 283-288, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jawher Jerray, Laurent Fribourg, Étienne André |
An Approximation of Minimax Control using Random Sampling and Symbolic Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 265-270, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Atreyee Kundu |
Yet another matrix commutator condition for stabilizability of discrete-time switched linear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 145-150, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Victor Gaßmann, Matthias Althoff |
Verified Polynomial Controller Synthesis for Disturbed Nonlinear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 85-90, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Zexiang Liu, Necmiye Ozay |
Safe Online Planning in Unknown Nonconvex Environments with Implicit Controlled Invariant Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 163-168, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kristina Miller, Chuchu Fan, Sayan Mitra |
Planning in Dynamic and Partially Unknown Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 169-174, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ahmad Madary, Hamid Reza Momeni, Alessandro Abate, Kim G. Larsen |
A Bayesian Framework for Large-Scale Identification of Nonlinear Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 259-264, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 271-276, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Anne Rubbens, Zheming Wang, Raphaël M. Jungers |
Data-driven stability analysis of switched linear systems with Sum of Squares guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 67-72, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Raphaël M. Jungers, Necmiye Ozay, Alessandro Abate (eds.) |
7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic |
Adaptive Testing for Specification Coverage in CPS Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 229-234, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Bertollo, Michael Schwegel, Andreas Kugi, Luca Zaccarian |
Reset-control-based current tracking for a solenoid with unknown parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 199-204, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 19-24, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani 0001 |
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 277-282, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Robey, Lars Lindemann, Stephen Tu, Nikolai Matni |
Learning Robust Hybrid Control Barrier Functions for Uncertain Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 1-6, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin |
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 253-258, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Bagagiolo, Adriano Festa, Luciano Marzufero |
A hybrid control framework for an optimal visiting problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 241-246, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sota Sato 0001, Masaki Waga, Ichiro Hasuo |
Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 217-222, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pouria Tajvar, Pierre-Jean Meyer, Jana Tumova |
Closed-loop incremental stability for efficient symbolic control of non-linear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 121-126, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Liren Yang, Necmiye Ozay |
Safety Control Synthesis for Systems with Missing Measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 97-102, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Wael Fatnassi, Yasser Shoukry |
PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 43-48, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yong Kiam Tan, André Platzer |
Switched Systems as Hybrid Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 247-252, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 61-66, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani 0001 |
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 7-12, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Bagagiolo, Adriano Festa, Luciano Marzufero |
The orienteering problem: a hybrid control formulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 175-180, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Louis Massucci, Fabien Lauer, Marion Gilson |
Regularized Switched System Identification: a Statistical Learning Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 55-60, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Syed M. Hassaan, Tarun Pati, Qiang Shen 0003, Sze Zheng Yong |
Time-Varying Tube-Based Output Feedback MPC for Constrained Linear Systems with Intermittently Delayed Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 103-108, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Elena Ivanova, Antoine Girard |
Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021, pp. 109-114, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Cauchi, Alessandro Abate |
Benchmarks for cyber-physical systems: A modular model library for building automation systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 49-54, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Renato Vázquez, David Gómez-Gutiérrez, Antonio Ramírez-Treviño |
Observability of Linear Hybrid Systems with unknown inputs and discrete dynamics modeled by Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 163-168, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Luan Viet Nguyen, Bardh Hoxha, Taylor T. Johnson, Georgios Fainekos |
Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 67-72, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Shakiba Yaghoubi, Georgios Fainekos |
Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 103-108, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaos Athanasopoulos, Raphaël M. Jungers |
On invariance and reachability on semialgebraic sets for linear dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 43-48, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Le Coënt, Laurent Fribourg, Jonathan Vacher |
Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 259-264, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kengo Kido, Sean Sedwards, Ichiro Hasuo |
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 247-252, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Smarra, Achin Jain, Rahul Mangharam, Alessandro D'Innocenzo |
Data-driven Switched Affine Modeling for Model Predictive Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 199-204, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sofie Haesaert, Petter Nilsson, Cristian Ioan Vasile, Rohan Thakker, Ali-akbar Agha-mohammadi, Aaron D. Ames, Richard M. Murray |
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 271-276, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Zohra Kader, Antoine Girard, Adnane Saoud |
Symbolic models for incrementally stable switched systems with aperiodic time sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 253-258, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sofie Haesaert, Sadegh Soudjani, Alessandro Abate |
Temporal logic control of general Markov decision processes by approximate policy refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 73-78, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adnane Saoud, Pushpak Jagtap, Majid Zamani 0001, Antoine Girard |
Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 13-18, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ashok Krishnan, L. P. M. I. Sampath, Yi Shyh Eddy Foo, Bhagyesh V. Patil, Hoay Beng Gooi |
Multi-Energy Scheduling Using a Hybrid Systems Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 229-234, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hoang-Dung Tran, Weiming Xiang 0001, Stanley Bak, Taylor T. Johnson |
Reachability Analysis for One Dimensional Linear Parabolic Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 133-138, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rose Bohrer, Adriel Luo, Xue An Chuang, André Platzer |
CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 55-60, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan 0001, Ashish Tiwari 0001 |
Learning and Verification of Feedback Control Systems using Feedforward Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 151-156, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani 0001 |
Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 265-270, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 7-12, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ariadna Estrada, Ian M. Mitchell |
Control Synthesis and Classification for Unicycle Dynamics using the Gradient and Value Sampling Particle Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 290-295, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Julien Alexandre Dit Sandretto, Elliot Brendel, Alexandre Chapoutot |
An Interval-based Sliding Horizon Motion Planning Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 296-301, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Legat, Paulo Tabuada, Raphaël M. Jungers |
Computing controlled invariant sets for hybrid systems with applications to model-predictive control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 193-198, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bacem Ben Nasser, Michael Defoort, Mohamed Djemai, Taous-Meriem Laleg-Kirati |
Razumikhin-type Theorems on Practical Stability of Dynamic Equations on Time Scales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 121-126, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sadegh Soudjani, Rupak Majumdar |
Concentration of Measure for Chance-Constrained Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 277-282, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Irinel-Constantin Morarescu, Vineeth Satheeskumar Varma, Lucian Busoniu, Samson Lasaulce |
Space-time budget allocation for marketing over social networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 211-216, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yuriy Zacchia Lun, Jack Wheatley, Alessandro D'Innocenzo, Alessandro Abate |
Approximate Abstractions of Markov Chains with Interval Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 91-96, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Henk A. P. Blom, Hao Ma, G. J. Bakker |
Interacting Particle System-based Estimation of Reach Probability for a Generalized Stochastic Hybrid System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 79-84, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stanley Bak |
t-Barrier Certificates: A Continuous Analogy to k-Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 145-150, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Murat Cubuktepe, Mohamadreza Ahmadi, Ufuk Topcu, Brandon Hencey |
Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 115-120, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kanishka Raj Singh, Yuhao Ding, Necmiye Ozay, Sze Zheng Yong |
Input Design for Nonlinear Model Discrimination via Affine Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 175-180, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ivan S. Zapreev, Cees Verdier, Manuel Mazo Jr. |
Optimal Symbolic Controllers Determinization for BDD storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 1-6, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Victor S. Dolk, Menno Lauret, Duarte J. Antunes, Patrick D. Anderson 0001, W. P. M. H. Heemels |
A switched system approach to optimize mixing of fluids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 31-36, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Xiangyu Meng 0001, Arian Houshmand, Christos G. Cassandras |
Hybrid System Modeling of Multi-Agent Coverage Problems with Energy Depletion and Repletion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 223-228, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Fatima Zohra Taousser, Michael Defoort, Mohamed Djemai, Seddik M. Djouadi, Kevin Tomsovic |
Stability of switched systems on non-uniform time domains with non commuting matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 37-42, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Abate, Antoine Girard, Maurice Heemels (eds.) |
6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Tareq Hamadneh, Rafael Wisniewski |
Algorithm for Bernstein Polynomial Control Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 283-289, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | André Marcorin de Oliveira, Vineeth S. Varma, Romain Postoyan, Irinel-Constantin Morarescu, Jamal Daafouz, Oswaldo L. V. Costa |
Network-Aware Design of State-Feedback Controllers for Linear Wireless Networked Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 205-210, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gabriella Fiore, Elena De Santis, Giordano Pola, Maria Domenica Di Benedetto |
On approximate predictability of metric systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 169-174, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Rocca, Marcelo Forets, Victor Magron, Eric Fanchon, Thao Dang 0001 |
Occupation measure methods for modelling and analysis of biological hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 181-186, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yorai Wardi, Carla Seatzu, Magnus Egerstedt |
Tracking Control via Variable-gain Integrator and Lookahead Simulation: Application to Leader-follower Multiagent Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 217-222, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Amanda Abreu, Romain Bourdais, Hervé Guéguen |
Hierarchical Model Predictive Control for Building Energy Management of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 235-240, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marc Jungers, Antoine Girard, Mirko Fiacchini |
Language constrained stabilization of discrete-time switched linear systems: an LMI approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 25-30, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chuchu Fan, Yu Meng 0001, Jürgen Maier 0002, Ezio Bartocci, Sayan Mitra, Ulrich Schmid 0001 |
Verifying nonlinear analog and mixed-signal circuits with inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 241-246, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yu Wang 0044, Nima Roohi, Matthew West 0001, Mahesh Viswanathan 0001, Geir E. Dullerud |
Statistical Verification of PCTL Using Stratified Samples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 85-90, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alina Eqtami, Antoine Girard |
Safety control, a quantitative approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 187-192, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tjorben B. Gross, Stephan Trenn, Andreas Wirsen |
Switch induced instabilities for stable power system DAE models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 127-132, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kwesi J. Rutledge, Sze Zheng Yong, Necmiye Ozay |
Optimization-Based Design of Bounded-Error Estimators Robust to Missing Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 157-162, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ronald R. P. van Nooijen, Alla G. Kolechkina |
A controlled sewer system should be treated as a sampled data system with events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 61-66, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay |
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 19-24, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|