Abstract is missing.
- A viability approach for fast recursive feasible finite horizon path planning of autonomous RC carsAlexander Liniger, John Lygeros. 1-10 [doi]
- Reach-avoid problems with time-varying dynamics, targets and constraintsJaime F. Fisac, Mo Chen, Claire J. Tomlin, S. Shankar Sastry. 11-20 [doi]
- An improved algorithm for robust safety analysis of sampled data systemsIan M. Mitchell, Shahab Kaynama. 21-30 [doi]
- What's decidable about recursive hybrid automata?Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi. 31-40 [doi]
- Bounded-rate multi-mode systems based motion planningDevendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe, Ashutosh Trivedi. 41-50 [doi]
- A sufficient condition for the boundedness of matrix products accepted by an automatonMatthew Philippe, Raphaël M. Jungers. 51-57 [doi]
- Efficient finite abstraction of mixed monotone systemsSamuel Coogan, Murat Arcak. 58-67 [doi]
- Compositional construction of approximate abstractionsMatthias Rungger, Majid Zamani. 68-77 [doi]
- δ-decidability over the realsAbhishek Murthy, Md. Ariful Islam, Scott A. Smolka, Radu Grosu. 78-87 [doi]
- Probabilistic diagnosability of hybrid systemsYi Deng, A. Agung Julius, Alessandro D'Innocenzo. 88-97 [doi]
- Dynamic scheduling for networked control systemsIndranil Saha, Sanjoy Baruah, Rupak Majumdar. 98-107 [doi]
- Closed loop analysis of control command softwarePierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche. 108-117 [doi]
- Real-time control under clock offsets between sensors and controllersKunihisa Okano, Masashi Wakaiki, João P. Hespanha. 118-127 [doi]
- HYST: a source transformation and translation tool for hybrid automaton modelsStanley Bak, Sergiy Bogomolov, Taylor T. Johnson. 128-133 [doi]
- ProbReach: verified probabilistic delta-reachability for stochastic hybrid systemsFedor Shmarov, Paolo Zuliani. 134-139 [doi]
- A delta-sampling verification theorem for discrete-time, possibly discontinuous systemsRuxandra Bobiti, Mircea Lazar. 140-148 [doi]
- Eliminating spurious transitions in reachability with support functionsGoran Frehse, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, Andreas Podelski. 149-158 [doi]
- Finite state approximation for verification of partially observable stochastic hybrid systemsKendra Lesser, Meeko Oishi. 159-168 [doi]
- Statistical verification of dynamical systems using set oriented methodsYu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan 0001, Geir E. Dullerud. 169-178 [doi]
- Requirements for hybrid cosimulation standardsDavid Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter. 179-188 [doi]
- SpaTeL: a novel spatial-temporal logic and its applications to networked systemsIman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci, Radu Grosu, Calin Belta. 189-198 [doi]
- Computing the Skorokhod distance between polygonal tracesRupak Majumdar, Vinayak S. Prabhu. 199-208 [doi]
- First steps toward formal controller synthesis for bipedal robotsAaron D. Ames, Paulo Tabuada, Bastian Schürmann, Wen-Loong Ma, Shishir Kolathaya, Matthias Rungger, Jessy W. Grizzle. 209-218 [doi]
- Vulnerability analysis of dynamical power networks to stochastic link failure attacksSai Pushpak, Amit Diwadkar, Umesh Vaidya. 219-226 [doi]
- Towards personalized prostate cancer therapy using delta-reachability analysisBing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke. 227-232 [doi]
- Temporal logic motion planning using POMDPs with parity objectives: case study paperMaria Svorenova, Martin Chmelik, Kevin Leahy, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Cerná, Calin Belta. 233-238 [doi]
- Reactive synthesis from signal temporal logic specificationsVasumathi Raman, Alexandre Donzé, Dorsa Sadigh, Richard M. Murray, Sanjit A. Seshia. 239-248 [doi]
- Estimator-based reactive synthesis under incomplete informationRüdiger Ehlers, Ufuk Topcu. 249-258 [doi]
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic gamesMaria Svorenova, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta. 259-268 [doi]
- Cross-entropy temporal logic motion planningScott C. Livingston, Eric M. Wolff, Richard M. Murray. 269-278 [doi]
- Enforcing temporal logic specifications via reinforcement learningAustin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta. 279-280 [doi]
- Symbolic control of monotone systems application to ventilation regulation in buildingsPierre-Jean Meyer, Antoine Girard, Emmanuel Witrant. 281-282 [doi]
- A stochastic hybrid system approach to aggregated load modeling for demand responseLin Zhao, Wei Zhang 0013. 283-284 [doi]
- Parallel state space exploration of linear systems with inputs using XSpeedRajarshi Ray, Amit Gurung. 285-286 [doi]
- Hybrid representation of rule-based systemsMatthew A. Clark, Kuldip S. Rattan. 287-288 [doi]
- HyRG: a random generation tool for affine hybrid automataLuan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson. 289-290 [doi]
- Stability and stabilization of polynomial dynamical systems using Bernstein polynomialsMohamed Amin Ben Sassi, Sriram Sankaranarayanan. 291-292 [doi]
- Hybrid multi-contact dynamics for wedge jumping locomotion behaviorsYe Zhao, Donghyun Kim, Gray C. Thomas, Luis Sentis. 293-294 [doi]
- Model-based design of time-triggered real-time embedded systems for digital manufacturingJiang Wan, Arquimedes Canedo, Mohammad Abdullah Al Faruque. 295-296 [doi]
- Counterexample-guided stabilization of switched systems using control lyapunov functionsHadi Ravanbakhsh, Sriram Sankaranarayanan. 297-298 [doi]
- Falsification of safety properties for closed loop control systemsAditya Zutshi 0001, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski, Xiaoqing Jin. 299-300 [doi]
- CyPhySim: a cyber-physical systems simulatorChristopher X. Brooks, Edward A. Lee, David Lorenzetti, Thierry S. Nouidui, Michael Wetter. 301-302 [doi]
- Towards online reachability analysis with temporal-differencingAnayo K. Akametalu, Claire J. Tomlin. 303-304 [doi]
- Demonstration of locomotion with the powered prosthesis AMPRO utilizing online optimization-based controlHuihua Zhao, Jake Reher, Jonathan Horn, Victor Paredes, Aaron D. Ames. 305-306 [doi]
- C2E2: a tool for verifying annotated hybrid systemsParasara Sridhar Duggirala, Matthew Potok, Sayan Mitra, Mahesh Viswanathan 0001. 307-308 [doi]