default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th ADHS 2015: Atlanta, GA, USA
- Magnus Egerstedt, Yorai Wardi:
5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015. IFAC-PapersOnLine 48(27), Elsevier 2015 - Yinan Li, Jun Liu, Necmiye Ozay
:
Computing finite abstractions with robustness margins via local reachable set over-approximation. 1-6 - Mohamed K. Helwa:
In-Block Controllability of Controlled Switched Linear Systems on Polytopes. 7-12 - Ibtissem Ben Makhlouf, Jonathan Gan, Stefan Kowalewski:
A Study on Solving Guard and Invariant Set Intersection in Zonotope-based Reachability of Linear Hybrid Systems. 13-20 - Hao Ren, Ratnesh Kumar:
Step Simulation/Overapproximation-Based Verification of Nonlinear Deterministic Hybrid System with Inputs. 21-26 - Fayssal Arichi, Mihály Petreczky, Mohamed Djemaï, Brahim Cherki:
Observability and Observer Design of Partially Observed Petri Nets. 27-32 - Manuel Navarro-Gutiérrez, Antonio Ramírez-Treviño, Manuel Silva:
Bifurcations in Timed Continuous Petri Nets. 33-40 - Marwa Taleb, Edouard Leclercq, Dimitri Lefebvre:
Control Design of Elementary Hybrid Petri Nets via Model Predictive Control. 41-46 - 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. 47-53 - Xiangru Xu, Paulo Tabuada, Jessy W. Grizzle, Aaron D. Ames:
Robustness of Control Barrier Functions for Safety Critical Control. 54-61 - Christoffer Sloth, Rafael Wisniewski:
Safety Analysis of Stochastic Dynamical Systems. 62-67 - Urs Borrmann, Li Wang, Aaron D. Ames, Magnus Egerstedt:
Control Barrier Certificates for Safe Swarm Behavior. 68-73 - Muhammad Zakiyullah Romdlony, Bayu Jayawardhana:
Passivity-Based Control with Guaranteed Safety via Interconnection and Damping Assignment. 74-79 - Raphaël M. Jungers, W. P. M. H. Heemels:
Controllability of linear systems subject to packet losses. 80-85 - Spyros A. Reveliotis, Zhennan Fei:
Invariant-based Supervisory Control of Switched Discrete Event Systems. 86-92 - Fatima Zohra Taousser, Michael Defoort, Mohamed Djemaï:
Region of exponential stability of switched linear systems on time scales. 93-98 - 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. 99-104 - Antonella Ferrara, Simona Sacone, Silvia Siri:
A switched ramp-metering controller for freeway traffic systems. 105-110 - Sepideh Pourazarm, Christos G. Cassandras:
System-Centric Minimum-Time Paths for Battery-Powered Vehicles in Networks with Charging Nodes. 111-116 - Carla Seatzu, Yorai Wardi:
Congestion management in traffic-light intersections via Infinitesimal Perturbation Analysis. 117-122 - Andrew R. Teel, Jorge I. Poveda:
A hybrid systems approach to global synchronization and coordination of multi-agent sampled-data systems. 123-128 - Nak-seung Patrick Hyun, Erik I. Verriest:
Cause versus Effect in Hybrid Systems: A Rigorous Non-standard Analysis Approach. 129-134 - Tobias Noesselt, Matthias Schultalbers, Jan Lunze:
A design method for hybrid event-based control systems. 135-140 - Zhe Xu, Calin Belta, Agung Julius:
Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements. 141-146 - Quan Nguyen, Koushil Sreenath:
Safety-Critical Control for Dynamical Bipedal Walking with Precise Footstep Placement. 147-154 - Alessio Iovine, Francesco Valentini, Elena De Santis, Maria Domenica Di Benedetto, Marco Pratesi:
Safe Human-Inspired Mesoscopic Hybrid Automaton for Longitudinal Vehicle Control. 155-160 - Kaveh Akbari Hamed, Jessy W. Grizzle:
Iterative Robust Stabilization Algorithm for Periodic Orbits of Hybrid Dynamical Systems: Application to Bipedal Running. 161-168 - Ali Pakniyat, Peter E. Caines:
On the Relation between the Hybrid Minimum Principle and Hybrid Dynamic Programming: a Linear Quadratic Example. 169-174 - Raghvendra V. Cowlagi:
Hierarchical Hybrid Control with Classical Planning and Trajectory Optimization. 175-180 - Vadim Azhmyakov, Raymundo Juarez del Toro:
On the Projected Gradient Methods for Switched - Mode Systems Optimization. 181-186 - Ali Pakniyat, Peter E. Caines:
Time Optimal Hybrid Minimum Principle and the Gear Changing Problem for Electric Vehicles. 187-192 - Michael D. Lemmon, Tua Agustinus Tamba:
Using Elementary Flux Modes to Estimate the Distance to Regime Shifts in Kinetic Systems. 193-198 - Xuyang Lou, Yuchun Li, Ricardo G. Sanfelice:
On Robust Stability of Limit Cycles for Hybrid Systems With Multiple Jumps. 199-204 - Julia Lima Fleck, Christos G. Cassandras:
Infinitesimal Perturbation Analysis for Personalized Cancer Therapy Design. 205-210 - Sanjian Chen, Matthew O'Kelly, James Weimer, Oleg Sokolsky, Insup Lee:
An Intraoperative Glucose Control Benchmark for Formal Verification. 211-217 - Mauro Franceschelli, Alessandro Giua, Carla Seatzu:
Distributed Task Assignment Based on Gossip with Guaranteed Performance on Heterogeneous Networks. 218-223 - Bo Wu, Jin Dai, Hai Lin:
Combined Top-down and Bottom-up Approach to Cooperative Distributed Multi-agent Control with Connectivity Constraints. 224-229 - Xianlin Zeng, Qing Hui:
Partial Cluster Stabilization and Partial Cascade Stabilization of Physical Networks. 230-235 - Stefan Haar, Simon Theissing:
A Hybrid-Dynamical Model for Passenger-flow in Transportation Systems. 236-241 - Aftab Ahmed, Erik I. Verriest:
Nonlinear Systems Evolving with State Suprema as Multi-Mode Multi-Dimensional (M3D) Systems: Analysis & Observation. 242-247 - Masashi Mizoguchi, Toshimitsu Ushio:
Observer-based Similarity Output Feedback Control of Cyber-Physical Systems. 248-253 - Rabah Ammour, Edouard Leclercq, Eric Sanlaville, Dimitri Lefebvre:
Estimation of the fault occurrence dates in DESs with partially observed stochastic Petri nets. 254-259 - Farshad Harirchi, Necmiye Ozay:
Model Invalidation for Switched Affine Systems with Applications to Fault and Anomaly Detection. 260-266 - Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud:
A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems. 267-273 - Meng Li, Ratnesh Kumar:
Robustness of Simulink/Stateflow Model Against Implementation Imperfections. 274-279 - Timothy M. Caldwell, Todd D. Murphey:
Power Network Regulation Benchmark for Switched-Mode Optimal Control. 280-285 - Usman Ali, Yorai Wardi:
Multiple Shooting Technique for Optimal Control Problems with Application to Power Aware Networks. 286-290 - Carlos Gonzalez, Daniel Svenkeson, Diana Kim, Martin J. McKeown, Meeko Oishi:
Detection of manual tracking submovements in Parkinson's disease through hybrid optimization. 291-297 - Jun Chai, Ricardo G. Sanfelice:
Hybrid Feedback Control Methods for Robust and Global Power Conversion. 298-303 - Anantharaman Subbaraman, Andrew R. Teel:
Robustness of recurrence for a class of stochastic hybrid systems. 304-309 - Leonhard Asselborn, Olaf Stursberg:
Robust Control of Uncertain Switched Linear Systems based on Stochastic Reachability. 310-316 - Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant:
Safety control with performance guarantees of cooperative systems using compositional abstractions. 317-322 - Samira S. Farahani, Vasumathi Raman, Richard M. Murray:
Robust Model Predictive Control for Signal Temporal Logic Synthesis. 323-328 - Kendra Lesser, Alessandro Abate:
Controller Synthesis for Probabilistic Safety Specifications using Observers. 329-334 - Alex Ansari, Kathrin Flaßkamp, Todd D. Murphey:
Sequential Action Control for Tracking of Free Invariant Manifolds. 335-342 - Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada:
Controller Synthesis for Mode-Target Games. 343-350 - Bengt Lennartson, Oskar Wigström, Sarmad Riazi, Kristofer Bengtsson:
Modeling and Optimization of Hybrid Systems. 351-357 - Mohammad Al Khatib, Antoine Girard, Thao Dang:
Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis. 358-363 - 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. 364-370 - 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. 371-376 - Shishir Kolathaya, Aaron D. Ames:
Parameter Sensitivity and Boundedness of Robotic Hybrid Periodic Orbits. 377-382
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
