| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hyejin Han, Ricardo G. Sanfelice |
Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems.  |
ADHS  |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Fahrenberg |
Higher-Dimensional Timed Automata. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Manish Goyal 0002, Parasara Sridhar Duggirala |
On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoffer Sloth, Rafael Wisniewski |
Safety Analysis of Stochastic Dynamical Systems. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Fayssal Arichi, Mihály Petreczky, Mohamed Djemaï, Brahim Cherki |
Observability and Observer Design of Partially Observed Petri Nets. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Samira S. Farahani, Vasumathi Raman, Richard M. Murray |
Robust Model Predictive Control for Signal Temporal Logic Synthesis. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla Seatzu, Yorai Wardi |
Congestion management in traffic-light intersections via Infinitesimal Perturbation Analysis. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Ansari, Kathrin Flaßkamp, Todd D. Murphey |
Sequential Action Control for Tracking of Free Invariant Manifolds. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphaël M. Jungers, W. P. M. H. Heemels |
Controllability of linear systems subject to packet losses. |
ADHS |
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. |
ADHS |
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. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Pakniyat, Peter E. Caines |
Time Optimal Hybrid Minimum Principle and the Gear Changing Problem for Electric Vehicles. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy M. Caldwell, Todd D. Murphey |
Power Network Regulation Benchmark for Switched-Mode Optimal Control. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Chai, Ricardo G. Sanfelice |
Hybrid Feedback Control Methods for Robust and Global Power Conversion. |
ADHS |
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. |
ADHS |
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. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Spyros A. Reveliotis, Zhennan Fei |
Invariant-based Supervisory Control of Switched Discrete Event Systems. |
ADHS |
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. |
ADHS |
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. |
ADHS |
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. |
ADHS |
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. |
ADHS |
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. |
ADHS |
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. |
ADHS |
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. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonhard Asselborn, Olaf Stursberg |
Robust Control of Uncertain Switched Linear Systems based on Stochastic Reachability. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia Lima Fleck, Christos G. Cassandras |
Infinitesimal Perturbation Analysis for Personalized Cancer Therapy Design. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Masashi Mizoguchi, Toshimitsu Ushio |
Observer-based Similarity Output Feedback Control of Cyber-Physical Systems. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Navarro-Gutiérrez, Antonio Ramírez-Treviño, Manuel Silva 0001 |
Bifurcations in Timed Continuous Petri Nets. |
ADHS |
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. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed K. Helwa |
In-Block Controllability of Controlled Switched Linear Systems on Polytopes. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonella Ferrara, Simona Sacone, Silvia Siri |
A switched ramp-metering controller for freeway traffic systems. |
ADHS |
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. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Kendra Lesser, Alessandro Abate |
Controller Synthesis for Probabilistic Safety Specifications using Observers. |
ADHS |
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. |
ADHS |
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. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatima Zohra Taousser, Michael Defoort, Mohamed Djemaï |
Region of exponential stability of switched linear systems on time scales. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Farshad Harirchi, Necmiye Ozay |
Model Invalidation for Switched Affine Systems with Applications to Fault and Anomaly Detection. |
ADHS |
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. |
ADHS |
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. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Franceschelli, Alessandro Giua, Carla Seatzu |
Distributed Task Assignment Based on Gossip with Guaranteed Performance on Heterogeneous Networks. |
ADHS |
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. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Haar, Simon Theissing |
A Hybrid-Dynamical Model for Passenger-flow in Transportation Systems. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Vadim Azhmyakov, Raymundo Juarez del Toro |
On the Projected Gradient Methods for Switched - Mode Systems Optimization. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant |
Safety control with performance guarantees of cooperative systems using compositional abstractions. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Urs Borrmann, Li Wang 0050, Aaron D. Ames, Magnus Egerstedt |
Control Barrier Certificates for Safe Swarm Behavior. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Ren 0004, Ratnesh Kumar 0001 |
Step Simulation/Overapproximation-Based Verification of Nonlinear Deterministic Hybrid System with Inputs. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianlin Zeng, Qing Hui |
Partial Cluster Stabilization and Partial Cascade Stabilization of Physical Networks. |
ADHS |
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 |
ADHS |
2015 |
DBLP BibTeX RDF |
|
| 1 | Xiangru Xu, Paulo Tabuada, Jessy W. Grizzle, Aaron D. Ames |
Robustness of Control Barrier Functions for Safety Critical Control. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Quan Nguyen 0004, Koushil Sreenath |
Safety-Critical Control for Dynamical Bipedal Walking with Precise Footstep Placement. |
ADHS |
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. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Anantharaman Subbaraman, Andrew R. Teel |
Robustness of recurrence for a class of stochastic hybrid systems. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Usman Ali 0002, Yorai Wardi |
Multiple Shooting Technique for Optimal Control Problems with Application to Power Aware Networks. |
ADHS |
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. |
ADHS |
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. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Shishir Kolathaya, Aaron D. Ames |
Parameter Sensitivity and Boundedness of Robotic Hybrid Periodic Orbits. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Raghvendra V. Cowlagi |
Hierarchical Hybrid Control with Classical Planning and Trajectory Optimization. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada |
Controller Synthesis for Mode-Target Games. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Lennartson, Oskar Wigström, Sarmad Riazi, Kristofer Bengtsson |
Modeling and Optimization of Hybrid Systems. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Zakiyullah Romdlony, Bayu Jayawardhana |
Passivity-Based Control with Guaranteed Safety via Interconnection and Damping Assignment. |
ADHS |
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. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marwa Taleb, Edouard Leclercq, Dimitri Lefebvre |
Control Design of Elementary Hybrid Petri Nets via Model Predictive Control. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Noesselt, Matthias Schultalbers, Jan Lunze |
A design method for hybrid event-based control systems. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Meng Li 0001, Ratnesh Kumar 0001 |
Robustness of Simulink/Stateflow Model Against Implementation Imperfections. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Diaz Ledezma, Taous-Meriem Laleg-Kirati |
Detection of Cardiovascular Anomalies: Hybrid Systems Approach. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Kanat Camlibel, Shuo Zhang |
Partial consensus for heterogenous multi-agent systems with double integrator dynamics. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Giordano Pola, Maria Domenica Di Benedetto |
Sequences of Discrete Abstractions for Piecewise Affine Systems. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xu Chu Ding, Mircea Lazar, Calin Belta |
Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Polyakov 0001 |
Fixed-Time Stabilization via Second Order Sliding Mode Control. |
ADHS |
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. |
ADHS |
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. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hassan Omran, Laurentiu Hetel, Jean-Pierre Richard |
Local Stability of Bilinear Systems with Asynchronous Sampling. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ewelina Seroka, Leslaw Socha |
Remarks on p-stabilizability of stochastic linear hybrid systems. |
ADHS |
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. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Riedinger, Irinel-Constantin Morarescu |
A numerical framework for optimal control of switched affine systems with state constraint. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Franceschelli, Alessandro Pisano, Alessandro Giua, Elio Usai |
Finite-Time Consensus based Clock Synchronization by Discontinuous Control. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Sacone, Silvia Siri, Filippo Torriani |
A hybrid automaton for multi-class ramp metering in freeway systems. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Liu 0003, Tao Liu, Weixing Zheng 0001 |
Impulsive Networked Control for Discrete-time Delayed Systems. |
ADHS |
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. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ozan Demir, Jan Lunze |
Event-based synchronisation of multi-agent systems. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Oskar Wigström, Nina Sundström, Bengt Lennartson |
Optimization of Hybrid Systems with Known Paths. |
ADHS |
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. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Pickem, Magnus Egerstedt |
Self-Reconfiguration Using Graph Grammars for Modular Robotics. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Prieur 0001, Antoine Girard, Emmanuel Witrant |
Lyapunov functions for switched linear hyperbolic systems. |
ADHS |
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. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ebru Aydin Gol, Calin Belta |
Time-Constrained Temporal Logic Control of Multi-Affine Systems. |
ADHS |
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. |
ADHS |
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. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ubaldo Tiberi, Karl Henrik Johansson |
A Simple Self-triggered Sampler for Nonlinear Systems. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Burak Demirel, Corentin Briat, Mikael Johansson 0001 |
Supervisory Control Design for Networked Systems with Time-Varying Communication Delays. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Veaceslav Spinu, Maarten Dam, Mircea Lazar |
Observer design for DC/DC power converters with bilinear averaged model. |
ADHS |
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. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Kebarighotbi, Christos G. Cassandras |
A General Framework for Modeling and Online Optimization of Stochastic Hybrid Systems. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Girard |
Low-Complexity Switching Controllers for Safety using Symbolic Models. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge R. Chávez-Fuentes, Eduardo F. Costa, Marco H. Terra |
Performance Analysis of Descriptor Jump Linear Systems. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shinsaku Izumi, Shun-Ichi Azuma, Toshiharu Sugie |
Robotic Mass Games by Distributed Hybrid Controllers. |
ADHS |
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. |
ADHS |
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. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lichun Li, Xiaofeng Wang 0007, Michael Lemmon 0001 |
Stabilizing bit-rate of disturbed event triggered control systems. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Pangalos, Gerwald Lichtenberg |
Approach to Boolean Controller Design by Algebraic Relaxation for Heating Systems. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license