Abstract is missing.
- Least-violating control strategy synthesis with safety rulesJana Tumova, Gavin C. Hall, Sertac Karaman, Emilio Frazzoli, Daniela Rus. 1-10 [doi]
- Limited-information control of hybrid systems via reachable set propagationDaniel Liberzon. 11-20 [doi]
- Resilient synchronization in robust networked multi-agent systemsHeath LeBlanc, Xenofon D. Koutsoukos. 21-30 [doi]
- Human-inspired control of bipedal robots via control lyapunov functions and quadratic programsAaron D. Ames. 31-32 [doi]
- Learning nonlinear hybrid systems: from sparse optimization to support vector regressionVan Luong Le, Fabien Lauer, Laurent Bako, Gérard Bloch. 33-42 [doi]
- Mining requirements from closed-loop control modelsXiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh, Sanjit A. Seshia. 43-52 [doi]
- On the decidability of stability of hybrid systemsPavithra Prabhakar, Mahesh Viswanathan. 53-62 [doi]
- Lyapunov analysis of rigid body systems with impacts and friction via sums-of-squaresMichael Posa, Mark Tobenkin, Russ Tedrake. 63-72 [doi]
- Hybrid control lyapunov functions for the stabilization of hybridsystemsStefano Di Cairano, Maurice Heemels, Mircea Lazar, Alberto Bemporad. 73-82 [doi]
- CoSyMA: a tool for controller synthesis using multi-scale abstractionsSebti Mouelhi, Antoine Girard, Gregor Gößler. 83-88 [doi]
- An aircraft electric power testbed for validating automatically synthesized reactive control protocolsRobert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray. 89-94 [doi]
- Towards sensitivity analysis of hybrid systems using simulinkZhi Han, Pieter J. Mosterman. 95-100 [doi]
- A toolbox for simulation of hybrid systems in matlab/simulink: hybrid equations (HyEQ) toolboxRicardo G. Sanfelice, David Copp, Pablo Nanez. 101-106 [doi]
- Stabhyli: a tool for automatic stability verification of non-linear hybrid systemsEike Möhlmann, Oliver E. Theel. 107-112 [doi]
- Zélus: a synchronous language with ODEsTimothy Bourke, Marc Pouzet. 113-118 [doi]
- A stochastic hybrid system model of collective transport in the desert ant aphaenogaster cockerelliGanesh P. Kumar, Aurélie Buffin, Theodore P. Pavlic, Stephen Pratt, Spring Berman. 119-124 [doi]
- Formal verification of distributed aircraft controllersSarah M. Loos, David W. Renshaw, André Platzer. 125-130 [doi]
- A simulink hybrid heart model for quantitative verification of cardiac pacemakersTaolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre. 131-136 [doi]
- A partially observable hybrid system model for bipedal locomotion for adapting to terrain variationsKoushil Sreenath, Connie R. Hill Jr., Vijay Kumar. 137-142 [doi]
- State estimation for polyhedral hybrid systems and applications to the Godunov schemeJerome Thai, Alexandre M. Bayen. 143-152 [doi]
- Observer design for a class of piecewise affine hybrid systemsDirk van Zwieten, Erjen Lefeber, Maurice Heemels. 153-162 [doi]
- Automated analysis of real-time scheduling using graph gamesKrishnendu Chatterjee, Alexander Kößler, Ulrich Schmid. 163-172 [doi]
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex setsMatthias Althoff. 173-182 [doi]
- One-shot computation of reachable sets for differential gamesInsoon Yang, Sabine Becker-Weimann, Mina J. Bissell, Claire J. Tomlin. 183-192 [doi]
- Tracking differentiable trajectories across polyhedra boundariesMassimo Benerecetti, Marco Faella. 193-202 [doi]
- Flowpipe approximation and clustering in space-timeGoran Frehse, Rajat Kateja, Colas Le Guernic. 203-212 [doi]
- Bounded model-checking of discrete duration calculusQuan Zu, Miaomiao Zhang, Jiaqi Zhu, Naijun Zhan. 213-222 [doi]
- Pipelining for cyclic control systemsArquimedes Canedo, Livio Dalloro, Hartmut Ludwig. 223-232 [doi]
- Optimal CPU allocation to a set of control tasks with soft real-time execution constraintsDaniele Fontanelli, Luigi Palopoli, Luca Greco. 233-242 [doi]
- Safe schedulability of bounded-rate multi-mode systemsRajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi. 243-252 [doi]
- Compositional heterogeneous abstractionAkshay Rajhans, Bruce H. Krogh. 253-262 [doi]
- Certifying the safe design of a virtual fixture control algorithm for a surgical robotYanni Kouskoulas, David W. Renshaw, André Platzer, Peter Kazanzides. 263-272 [doi]
- Quantitative timed simulation functions and refinement metrics for real-time systemsKrishnendu Chatterjee, Vinayak S. Prabhu. 273-282 [doi]
- Formula-free finite abstractions for linear temporal verification of stochastic hybrid systemsIlya Tkachev, Alessandro Abate. 283-292 [doi]
- Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systemsIlya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate. 293-302 [doi]
- Control design for specifications on stochastic hybrid systemsMaryam Kamgarpour, Sean Summers, John Lygeros. 303-312 [doi]
- Rewarding probabilistic hybrid automataErnst Moritz Hahn, Holger Hermanns. 313-322 [doi]
- Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automataHongfei Fu. 323-332 [doi]
- Specification-guided controller synthesis for linear systems and safe linear-time temporal logicMatthias Rungger, Manuel Mazo Jr., Paulo Tabuada. 333-342 [doi]
- Temporal logic model predictive control for discrete-time systemsEbru Aydin Gol, Mircea Lazar. 343-352 [doi]
- Iterative temporal motion planning for hybrid systems in partially unknown environmentsMatthew R. Maly, Morteza Lahijanian, Lydia E. Kavraki, Hadas Kress-Gazit, Moshe Y. Vardi. 353-362 [doi]