Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Hyejin Han, Ricardo G. Sanfelice |
Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical 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. 97-102, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Uli Fahrenberg |
Higher-Dimensional Timed Automata. ![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. 109-114, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Manish Goyal 0002, Parasara Sridhar Duggirala |
On Generating A Variety of Unsafe Counterexamples for Linear Dynamical 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. 139-144, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christoffer Sloth, Rafael Wisniewski |
Safety Analysis of Stochastic Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 62-67, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Fayssal Arichi, Mihály Petreczky, Mohamed Djemaï, Brahim Cherki |
Observability and Observer Design of Partially Observed Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 27-32, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Samira S. Farahani, Vasumathi Raman, Richard M. Murray |
Robust Model Predictive Control for Signal Temporal Logic Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 323-328, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Carla Seatzu, Yorai Wardi |
Congestion management in traffic-light intersections via Infinitesimal Perturbation Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 117-122, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alex Ansari, Kathrin Flaßkamp, Todd D. Murphey |
Sequential Action Control for Tracking of Free Invariant Manifolds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 335-342, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Raphaël M. Jungers, W. P. M. H. Heemels |
Controllability of linear systems subject to packet losses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 80-85, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xuyang Lou, Yuchun Li, Ricardo G. Sanfelice |
On Robust Stability of Limit Cycles for Hybrid Systems With Multiple Jumps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 199-204, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ali Pakniyat, Peter E. Caines |
On the Relation between the Hybrid Minimum Principle and Hybrid Dynamic Programming: a Linear Quadratic Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 169-174, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ali Pakniyat, Peter E. Caines |
Time Optimal Hybrid Minimum Principle and the Gear Changing Problem for Electric Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 187-192, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Timothy M. Caldwell, Todd D. Murphey |
Power Network Regulation Benchmark for Switched-Mode Optimal Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 280-285, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jun Chai, Ricardo G. Sanfelice |
Hybrid Feedback Control Methods for Robust and Global Power Conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 298-303, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | S. J. L. M. van Loon, Robert van der Weijst, Marcel François Heertjes, W. P. M. H. Heemels |
Scheduled controller design for systems with two switching sensor configurations: A frequency-domain approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 99-104, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kaveh Akbari Hamed, Jessy W. Grizzle |
Iterative Robust Stabilization Algorithm for Periodic Orbits of Hybrid Dynamical Systems: Application to Bipedal Running. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 161-168, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Spyros A. Reveliotis, Zhennan Fei |
Invariant-based Supervisory Control of Switched Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 86-92, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Miguel A. Davó, Frédéric Gouaisbaut, Alfonso Baños, Sophie Tarbouriech, Alexandre Seuret |
Stability of time-delay reset control systems with time-dependent resetting law. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 371-376, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nak-seung Patrick Hyun, Erik I. Verriest |
Cause versus Effect in Hybrid Systems: A Rigorous Non-standard Analysis Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 129-134, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sanjian Chen, Matthew O'Kelly, James Weimer, Oleg Sokolsky, Insup Lee 0001 |
An Intraoperative Glucose Control Benchmark for Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 211-217, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bo Wu 0005, Jin Dai, Hai Lin 0002 |
Combined Top-down and Bottom-up Approach to Cooperative Distributed Multi-agent Control with Connectivity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 224-229, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alessio Iovine, Francesco Valentini, Elena De Santis, Maria Domenica Di Benedetto, Marco Pratesi |
Safe Human-Inspired Mesoscopic Hybrid Automaton for Longitudinal Vehicle Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 155-160, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yu Wang 0044, Nima Roohi, Matthew West 0001, Mahesh Viswanathan 0001, Geir E. Dullerud |
A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 267-273, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Al Khatib, Antoine Girard, Thao Dang 0001 |
Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 358-363, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Leonhard Asselborn, Olaf Stursberg |
Robust Control of Uncertain Switched Linear Systems based on Stochastic Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 310-316, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Julia Lima Fleck, Christos G. Cassandras |
Infinitesimal Perturbation Analysis for Personalized Cancer Therapy Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 205-210, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Masashi Mizoguchi, Toshimitsu Ushio |
Observer-based Similarity Output Feedback Control of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 248-253, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Navarro-Gutiérrez, Antonio Ramírez-Treviño, Manuel Silva 0001 |
Bifurcations in Timed Continuous Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 33-40, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrew R. Teel, Jorge I. Poveda |
A hybrid systems approach to global synchronization and coordination of multi-agent sampled-data systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 123-128, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed K. Helwa |
In-Block Controllability of Controlled Switched Linear Systems on Polytopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 7-12, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Antonella Ferrara, Simona Sacone, Silvia Siri |
A switched ramp-metering controller for freeway traffic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 105-110, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ibtissem Ben Makhlouf, Jonathan Gan, Stefan Kowalewski |
A Study on Solving Guard and Invariant Set Intersection in Zonotope-based Reachability of Linear Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 13-20, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kendra Lesser, Alessandro Abate |
Controller Synthesis for Probabilistic Safety Specifications using Observers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 329-334, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rabah Ammour, Edouard Leclercq, Eric Sanlaville, Dimitri Lefebvre |
Estimation of the fault occurrence dates in DESs with partially observed stochastic Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 254-259, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. Lemmon, Tua Agustinus Tamba |
Using Elementary Flux Modes to Estimate the Distance to Regime Shifts in Kinetic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 193-198, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Fatima Zohra Taousser, Michael Defoort, Mohamed Djemaï |
Region of exponential stability of switched linear systems on time scales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 93-98, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Farshad Harirchi, Necmiye Ozay |
Model Invalidation for Switched Affine Systems with Applications to Fault and Anomaly Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 260-266, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Gonzalez, Daniel Svenkeson, Diana Kim, Martin J. McKeown, Meeko Oishi |
Detection of manual tracking submovements in Parkinson's disease through hybrid optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 291-297, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zhe Xu 0005, Calin Belta, Agung Julius |
Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 141-146, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mauro Franceschelli, Alessandro Giua, Carla Seatzu |
Distributed Task Assignment Based on Gossip with Guaranteed Performance on Heterogeneous Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 218-223, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yinan Li 0001, Jun Liu 0015, Necmiye Ozay |
Computing finite abstractions with robustness margins via local reachable set over-approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 1-6, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Haar, Simon Theissing |
A Hybrid-Dynamical Model for Passenger-flow in Transportation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 236-241, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vadim Azhmyakov, Raymundo Juarez del Toro |
On the Projected Gradient Methods for Switched - Mode Systems Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 181-186, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant |
Safety control with performance guarantees of cooperative systems using compositional abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 317-322, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Urs Borrmann, Li Wang 0050, Aaron D. Ames, Magnus Egerstedt |
Control Barrier Certificates for Safe Swarm Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 68-73, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hao Ren 0004, Ratnesh Kumar 0001 |
Step Simulation/Overapproximation-Based Verification of Nonlinear Deterministic Hybrid System with Inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 21-26, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xianlin Zeng, Qing Hui |
Partial Cluster Stabilization and Partial Cascade Stabilization of Physical Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 230-235, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Magnus Egerstedt, Yorai Wardi (eds.) |
5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Xiangru Xu, Paulo Tabuada, Jessy W. Grizzle, Aaron D. Ames |
Robustness of Control Barrier Functions for Safety Critical Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 54-61, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Quan Nguyen 0004, Koushil Sreenath |
Safety-Critical Control for Dynamical Bipedal Walking with Precise Footstep Placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 147-154, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aftab Ahmed, Erik I. Verriest |
Nonlinear Systems Evolving with State Suprema as Multi-Mode Multi-Dimensional (M3D) Systems: Analysis & Observation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 242-247, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Anantharaman Subbaraman, Andrew R. Teel |
Robustness of recurrence for a class of stochastic hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 304-309, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Usman Ali 0002, Yorai Wardi |
Multiple Shooting Technique for Optimal Control Problems with Application to Power Aware Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 286-290, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Renato Vázquez, David Gómez-Gutiérrez, Antonio Ramírez-Treviño, Manuel Navarro-Gutiérrez |
Eventual Generic Observability in Linear Hybrid Systems with discrete dynamic modeled by Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 47-53, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marjorie Cosson, Hervé Guéguen, Didier Dumur, Cristina Stoica Maniu, Vincent Gabrion, Gilles Malarange |
Stability Analysis by means of Discrete Abstraction. Application to Voltage Stability of Distributed Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 364-370, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shishir Kolathaya, Aaron D. Ames |
Parameter Sensitivity and Boundedness of Robotic Hybrid Periodic Orbits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 377-382, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Raghvendra V. Cowlagi |
Hierarchical Hybrid Control with Classical Planning and Trajectory Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 175-180, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada |
Controller Synthesis for Mode-Target Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 343-350, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bengt Lennartson, Oskar Wigström, Sarmad Riazi, Kristofer Bengtsson |
Modeling and Optimization of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 351-357, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Zakiyullah Romdlony, Bayu Jayawardhana |
Passivity-Based Control with Guaranteed Safety via Interconnection and Damping Assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 74-79, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sepideh Pourazarm, Christos G. Cassandras |
System-Centric Minimum-Time Paths for Battery-Powered Vehicles in Networks with Charging Nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 111-116, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marwa Taleb, Edouard Leclercq, Dimitri Lefebvre |
Control Design of Elementary Hybrid Petri Nets via Model Predictive Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 41-46, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Noesselt, Matthias Schultalbers, Jan Lunze |
A design method for hybrid event-based control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 135-140, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Meng Li 0001, Ratnesh Kumar 0001 |
Robustness of Simulink/Stateflow Model Against Implementation Imperfections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015, pp. 274-279, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Diaz Ledezma, Taous-Meriem Laleg-Kirati |
Detection of Cardiovascular Anomalies: Hybrid Systems Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 222-227, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | M. Kanat Camlibel, Shuo Zhang |
Partial consensus for heterogenous multi-agent systems with double integrator dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 121-126, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Giordano Pola, Maria Domenica Di Benedetto |
Sequences of Discrete Abstractions for Piecewise Affine Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 147-152, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Xu Chu Ding, Mircea Lazar, Calin Belta |
Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 88-93, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrey Polyakov 0001 |
Fixed-Time Stabilization via Second Order Sliding Mode Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 254-258, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | S. J. L. M. van Loon, M. C. F. Donkers, Nathan van de Wouw, W. P. M. H. Heemels |
Stability analysis of networked control systems with periodic protocols and uniform quantizers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 186-191, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marc Jungers, Carlos A. Cavichioli Gonzaga, Jamal Daafouz |
Min-Switching Stabilization for Discrete-Time Switching Systems with Nonlinear Modes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 234-239, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hassan Omran, Laurentiu Hetel, Jean-Pierre Richard |
Local Stability of Bilinear Systems with Asynchronous Sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 19-24, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ewelina Seroka, Leslaw Socha |
Remarks on p-stabilizability of stochastic linear hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 400-405, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mariagrazia Dotoli |
Freeway Traffic Control via Route Guidance: An Approach Based on a First Order Hybrid Petri Nets Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 350-355, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Riedinger, Irinel-Constantin Morarescu |
A numerical framework for optimal control of switched affine systems with state constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 141-146, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mauro Franceschelli, Alessandro Pisano, Alessandro Giua, Elio Usai |
Finite-Time Consensus based Clock Synchronization by Discontinuous Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 172-177, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Simona Sacone, Silvia Siri, Filippo Torriani |
A hybrid automaton for multi-class ramp metering in freeway systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 344-349, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bin Liu 0003, Tao Liu, Weixing Zheng 0001 |
Impulsive Networked Control for Discrete-time Delayed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 192-197, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fulvio Forni, Andrew R. Teel, Luca Zaccarian |
Global tracking and state estimation with nonsmooth impacts for a mass confined to an n-dimensional half-space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 376-381, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ozan Demir, Jan Lunze |
Event-based synchronisation of multi-agent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 1-6, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Oskar Wigström, Nina Sundström, Bengt Lennartson |
Optimization of Hybrid Systems with Known Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 39-45, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro D'Innocenzo, Claudia Rinaldi, Maria Domenica Di Benedetto, Fortunato Santucci |
Hybrid power control on a wireless networked control system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 166-171, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Pickem, Magnus Egerstedt |
Self-Reconfiguration Using Graph Grammars for Modular Robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 313-318, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Prieur 0001, Antoine Girard, Emmanuel Witrant |
Lyapunov functions for switched linear hyperbolic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 382-387, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Farzin Taringoo, Peter E. Caines |
The Exponential Gradient HMP Algorithm for the Optimization of Hybrid Systems On Lie Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 33-38, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ebru Aydin Gol, Calin Belta |
Time-Constrained Temporal Logic Control of Multi-Affine Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 102-107, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Felipe Núñez 0001, Yongqiang Wang 0001, Andrew R. Teel, Francis J. Doyle |
Bio-inspired Synchronization of Non-Identical Pulse-Coupled Oscillators Subject to a Global Cue and Local Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 115-120, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pia L. Kempker, André C. M. Ran, Jan H. van Schuppen |
A linear-quadratic coordination control procedure with event-based communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 13-18, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ubaldo Tiberi, Karl Henrik Johansson |
A Simple Self-triggered Sampler for Nonlinear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 76-81, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Burak Demirel, Corentin Briat, Mikael Johansson 0001 |
Supervisory Control Design for Networked Systems with Time-Varying Communication Delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 133-140, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Veaceslav Spinu, Maarten Dam, Mircea Lazar |
Observer design for DC/DC power converters with bilinear averaged model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 204-209, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Floquet, Diego Mincarelli, Alessandro Pisano, Elio Usai |
Continuous and Discrete State Estimation in Linear Switched Systems by Sliding Mode Observers with Residuals' Projection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 265-270, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ali Kebarighotbi, Christos G. Cassandras |
A General Framework for Modeling and Online Optimization of Stochastic Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 394-399, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Girard |
Low-Complexity Switching Controllers for Safety using Symbolic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 82-87, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jorge R. Chávez-Fuentes, Eduardo F. Costa, Marco H. Terra |
Performance Analysis of Descriptor Jump Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 448-452, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shinsaku Izumi, Shun-Ichi Azuma, Toshiharu Sugie |
Robotic Mass Games by Distributed Hybrid Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 339-343, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Lehmann 0003, Jan Lunze, Karl Henrik Johansson |
Comparison between sampled-data control, deadband control and model-based event-triggered control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 7-12, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Maria Pia Fanti, Giorgio Iacobellis, Agostino Marcello Mangini, Walter Ukovich |
An Improved Freeway Traffic Model in a First Order Hybrid Petri Net Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 364-369, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lichun Li, Xiaofeng Wang 0007, Michael Lemmon 0001 |
Stabilizing bit-rate of disturbed event triggered control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 70-75, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Georg Pangalos, Gerwald Lichtenberg |
Approach to Boolean Controller Design by Algebraic Relaxation for Heating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 210-215, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|