Table of Contents

• Computing finite abstractions with robustness margins via local reachable set over-approximationYinan Li, Jun Liu 0015, Necmiye Ozay. 1-6 [doi]
• In-Block Controllability of Controlled Switched Linear Systems on PolytopesMohamed K. Helwa. 7-12 [doi]
• A Study on Solving Guard and Invariant Set Intersection in Zonotope-based Reachability of Linear Hybrid SystemsIbtissem Ben Makhlouf, Jonathan Gan, Stefan Kowalewski. 13-20 [doi]
• Step Simulation/Overapproximation-Based Verification of Nonlinear Deterministic Hybrid System with InputsHao Ren, Ratnesh Kumar 0001. 21-26 [doi]
• Observability and Observer Design of Partially Observed Petri NetsFayssal Arichi, Mihály Petreczky, Mohamed Djemaï, Brahim Cherki. 27-32 [doi]
• Bifurcations in Timed Continuous Petri NetsManuel Navarro-Gutierrez, Antonio Ramírez-Treviño, Manuel Silva 0001. 33-40 [doi]
• Control Design of Elementary Hybrid Petri Nets via Model Predictive ControlMarwa Taleb, Edouard Leclercq, Dimitri Lefebvre. 41-46 [doi]
• Eventual Generic Observability in Linear Hybrid Systems with discrete dynamic modeled by Petri netsCarlos Renato Vázquez, David Gómez-Gutiérrez, Antonio Ramírez-Treviño, Manuel Navarro-Gutierrez. 47-53 [doi]
• Robustness of Control Barrier Functions for Safety Critical ControlXiangru Xu, Paulo Tabuada, Jessy W. Grizzle, Aaron D. Ames. 54-61 [doi]
• Safety Analysis of Stochastic Dynamical SystemsChristoffer Sloth, Rafael Wisniewski. 62-67 [doi]
• Control Barrier Certificates for Safe Swarm BehaviorUrs Borrmann, Li Wang 0050, Aaron D. Ames, Magnus Egerstedt. 68-73 [doi]
• Passivity-Based Control with Guaranteed Safety via Interconnection and Damping AssignmentMuhammad Zakiyullah Romdlony, Bayu Jayawardhana. 74-79 [doi]
• Controllability of linear systems subject to packet lossesRaphaël M. Jungers, W. P. M. H. Heemels. 80-85 [doi]
• Invariant-based Supervisory Control of Switched Discrete Event SystemsSpyros A. Reveliotis, Zhennan Fei. 86-92 [doi]
• Region of exponential stability of switched linear systems on time scalesFatima Zohra Taousser, Michael Defoort, Mohamed Djemaï. 93-98 [doi]
• Scheduled controller design for systems with two switching sensor configurations: A frequency-domain approachS. J. L. M. van Loon, Robert van der Weijst, Marcel François Heertjes, W. P. M. H. Heemels. 99-104 [doi]
• A switched ramp-metering controller for freeway traffic systemsAntonella Ferrara, Simona Sacone, Silvia Siri. 105-110 [doi]
• System-Centric Minimum-Time Paths for Battery-Powered Vehicles in Networks with Charging NodesSepideh Pourazarm, Christos G. Cassandras. 111-116 [doi]
• Congestion management in traffic-light intersections via Infinitesimal Perturbation AnalysisCarla Seatzu, Yorai Wardi. 117-122 [doi]
• A hybrid systems approach to global synchronization and coordination of multi-agent sampled-data systemsAndrew R. Teel, Jorge I. Poveda. 123-128 [doi]
• Cause versus Effect in Hybrid Systems: A Rigorous Non-standard Analysis ApproachNak-seung Patrick Hyun, Erik I. Verriest. 129-134 [doi]
• A design method for hybrid event-based control systemsTobias Noesselt, Matthias Schultalbers, Jan Lunze. 135-140 [doi]
• Temporal Logic Inference with Prior Information: An Application to Robot Arm MovementsZhe Xu 0005, Calin Belta, Agung Julius. 141-146 [doi]
• Safety-Critical Control for Dynamical Bipedal Walking with Precise Footstep PlacementQuan Nguyen 0004, Koushil Sreenath. 147-154 [doi]
• Safe Human-Inspired Mesoscopic Hybrid Automaton for Longitudinal Vehicle ControlAlessio Iovine, Francesco Valentini, Elena De Santis, Maria Domenica Di Benedetto, Marco Pratesi. 155-160 [doi]
• Iterative Robust Stabilization Algorithm for Periodic Orbits of Hybrid Dynamical Systems: Application to Bipedal RunningKaveh Akbari Hamed, Jessy W. Grizzle. 161-168 [doi]
• On the Relation between the Hybrid Minimum Principle and Hybrid Dynamic Programming: a Linear Quadratic ExampleAli Pakniyat, Peter E. Caines. 169-174 [doi]
• Hierarchical Hybrid Control with Classical Planning and Trajectory OptimizationRaghvendra V. Cowlagi. 175-180 [doi]
• On the Projected Gradient Methods for Switched - Mode Systems OptimizationVadim Azhmyakov, Raymundo Juárez. 181-186 [doi]
• Time Optimal Hybrid Minimum Principle and the Gear Changing Problem for Electric VehiclesAli Pakniyat, Peter E. Caines. 187-192 [doi]
• Using Elementary Flux Modes to Estimate the Distance to Regime Shifts in Kinetic SystemsMichael D. Lemmon, Tua Agustinus Tamba. 193-198 [doi]
• On Robust Stability of Limit Cycles for Hybrid Systems With Multiple JumpsXuyang Lou, Yuchun Li, Ricardo G. Sanfelice. 199-204 [doi]
• Infinitesimal Perturbation Analysis for Personalized Cancer Therapy DesignJulia Lima Fleck, Christos G. Cassandras. 205-210 [doi]
• An Intraoperative Glucose Control Benchmark for Formal VerificationSanjian Chen, Matthew O'Kelly, James Weimer, Oleg Sokolsky, Insup Lee. 211-217 [doi]
• Distributed Task Assignment Based on Gossip with Guaranteed Performance on Heterogeneous NetworksMauro Franceschelli, Alessandro Giua, Carla Seatzu. 218-223 [doi]
• Combined Top-down and Bottom-up Approach to Cooperative Distributed Multi-agent Control with Connectivity ConstraintsBo Wu 0005, Jin Dai, Hai Lin 0002. 224-229 [doi]
• Partial Cluster Stabilization and Partial Cascade Stabilization of Physical NetworksXianlin Zeng, Qing Hui. 230-235 [doi]
• A Hybrid-Dynamical Model for Passenger-flow in Transportation SystemsStefan Haar, Simon Theissing. 236-241 [doi]
• 3D) Systems: Analysis & ObservationAftab Ahmed, Erik I. Verriest. 242-247 [doi]
• Observer-based Similarity Output Feedback Control of Cyber-Physical SystemsMasashi Mizoguchi, Toshimitsu Ushio. 248-253 [doi]
• Estimation of the fault occurrence dates in DESs with partially observed stochastic Petri netsRabah Ammour, Edouard Leclercq, Eric Sanlaville, Dimitri Lefebvre. 254-259 [doi]
• Model Invalidation for Switched Affine Systems with Applications to Fault and Anomaly DetectionFarshad Harirchi, Necmiye Ozay. 260-266 [doi]
• A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical SystemsYu Wang 0044, Nima Roohi, Matthew West 0001, Mahesh Viswanathan 0001, Geir E. Dullerud. 267-273 [doi]
• Robustness of Simulink/Stateflow Model Against Implementation ImperfectionsMeng Li 0001, Ratnesh Kumar 0001. 274-279 [doi]
• Power Network Regulation Benchmark for Switched-Mode Optimal ControlTimothy M. Caldwell, Todd D. Murphey. 280-285 [doi]
• Multiple Shooting Technique for Optimal Control Problems with Application to Power Aware NetworksUsman Ali 0002, Yorai Wardi. 286-290 [doi]
• Detection of manual tracking submovements in Parkinson's disease through hybrid optimizationCarlos Gonzalez, Daniel Svenkeson, Diana Kim, Martin J. McKeown, Meeko Oishi. 291-297 [doi]
• Hybrid Feedback Control Methods for Robust and Global Power ConversionJun Chai, Ricardo G. Sanfelice. 298-303 [doi]
• Robustness of recurrence for a class of stochastic hybrid systemsAnantharaman Subbaraman, Andrew R. Teel. 304-309 [doi]
• Robust Control of Uncertain Switched Linear Systems based on Stochastic ReachabilityLeonhard Asselborn, Olaf Stursberg. 310-316 [doi]
• Safety control with performance guarantees of cooperative systems using compositional abstractionsPierre-Jean Meyer, Antoine Girard, Emmanuel Witrant. 317-322 [doi]
• Robust Model Predictive Control for Signal Temporal Logic SynthesisSamira S. Farahani, Vasumathi Raman, Richard M. Murray. 323-328 [doi]
• Controller Synthesis for Probabilistic Safety Specifications using ObserversKendra Lesser, Alessandro Abate. 329-334 [doi]
• Sequential Action Control for Tracking of Free Invariant ManifoldsAlex Ansari, Kathrin Flaßkamp, Todd D. Murphey. 335-342 [doi]
• Controller Synthesis for Mode-Target GamesAyca Balkan, Moshe Y. Vardi, Paulo Tabuada. 343-350 [doi]
• Modeling and Optimization of Hybrid SystemsBengt Lennartson, Oskar Wigström, Sarmad Riazi, Kristofer Bengtsson. 351-357 [doi]
• Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability AnalysisMohammad Al-Khatib, Antoine Girard, Thao Dang. 358-363 [doi]
• Stability Analysis by means of Discrete Abstraction. Application to Voltage Stability of Distributed GeneratorsMarjorie Cosson, Hervé Guéguen, Didier Dumur, Cristina Stoica Maniu, Vincent Gabrion, Gilles Malarange. 364-370 [doi]
• Stability of time-delay reset control systems with time-dependent resetting lawMiguel A. Davó, Frédéric Gouaisbaut, Alfonso Baños, Sophie Tarbouriech, Alexandre Seuret. 371-376 [doi]
• Parameter Sensitivity and Boundedness of Robotic Hybrid Periodic OrbitsShishir Kolathaya, Aaron D. Ames. 377-382 [doi]