Abstract is missing.
- Wireless control networks: modeling, synthesis, robustness, securityGeorge J. Pappas. 1-2 [doi]
- Observability implies observer design for switched linear systemsAneel Tanwani, Hyungbo Shim, Daniel Liberzon. 3-12 [doi]
- Analysis of the joint spectral radius via Lyapunov functions on path-complete graphsAmir Ali Ahmadi, Raphaël M. Jungers, Pablo A. Parrilo, Mardavij Roozbehani. 13-22 [doi]
- The earlier the better: a theory of timed actor interfacesMarc Geilen, Stavros Tripakis, Maarten Wiggers. 23-32 [doi]
- Measuring performance of continuous-time stochastic processes using timed automataTomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák. 33-42 [doi]
- Measurability and safety verification for stochastic hybrid systemsMartin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang 0001. 43-52 [doi]
- Stochastic non sequitur behavior analysis of fault tolerant hybrid systemsManuela L. Bujorianu, Marius C. Bujorianu. 53-62 [doi]
- Quantified differential invariantsAndré Platzer. 63-72 [doi]
- Decidability and complexity for the verification of safety properties of reasonable linear hybrid automataWerner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans. 73-82 [doi]
- Quantitative automata model checking of autonomous stochastic hybrid systemsAlessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre. 83-92 [doi]
- Reachable set computation for uncertain time-varying linear systemsMatthias Althoff, Colas Le Guernic, Bruce H. Krogh. 93-102 [doi]
- Scalable calculation of reach sets and tubes for nonlinear systems with terminal integrators: a mixed implicit explicit formulationIan M. Mitchell. 103-112 [doi]
- Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automataKyoung-Dae Kim, Sayan Mitra, P. R. Kumar. 113-122 [doi]
- Hybridization domain construction using curvature estimationThao Dang, Romain Testylier. 123-132 [doi]
- A dynamic algorithm for approximate flow computationsPavithra Prabhakar, Mahesh Viswanathan. 133-142 [doi]
- Automatic abstraction of non-linear systems using change of bases transformationsSriram Sankaranarayanan. 143-152 [doi]
- Human-data based cost of bipedal robotic walkingAaron D. Ames, Ramanarayan Vasudevan, Ruzena Bajcsy. 153-162 [doi]
- Characterizing knee-bounce in bipedal robotic walking: a zeno behavior approachAaron D. Ames. 163-172 [doi]
- Impulsive control for nanopositioning: stability and performanceTomas Tuma, Aggeliki Pantazi, John Lygeros, Abu Sebastian. 173-180 [doi]
- A predictive control solution for driveline oscillations dampingConstantin Florin Caruntu, Andreea Elena Balau, Mircea Lazar, Paul van den Bosch, Stefano Di Cairano. 181-190 [doi]
- Synthesis of switching controllers using approximately bisimilar multiscale abstractionsJavier Cámara, Antoine Girard, Gregor Gößler. 191-200 [doi]
- Joint synthesis of switching and feedback for linear systems in discrete timeJi-Woong Lee, Geir E. Dullerud. 201-210 [doi]
- Robust discrete synthesis against unspecified disturbancesRupak Majumdar, Elaine Render, Paulo Tabuada. 211-220 [doi]
- Synthesis of memory-efficient "real-time" controllers for safety objectivesKrishnendu Chatterjee, Vinayak S. Prabhu. 221-230 [doi]
- Hybrid controllers for tracking of impulsive reference state trajectories: a hybrid exosystem approachManuel Robles, Ricardo G. Sanfelice. 231-240 [doi]
- Variational formulation and optimal control of hybrid lagrangian systemsKathrin Flaßkamp, Sina Ober-Blöbaum. 241-250 [doi]
- A stochastic reach-avoid problem with random obstaclesSean Summers, Maryam Kamgarpour, John Lygeros, Claire Tomlin. 251-260 [doi]
- Impulsive data association with an unknown number of targetsMatthew Travers, Todd D. Murphey, Lucy Y. Pao. 261-270 [doi]
- Resource constrained LQR control under fast samplingJerome Le Ny, Eric Feron, George J. Pappas. 271-280 [doi]
- Consensus in networked multi-agent systems with adversariesHeath LeBlanc, Xenofon D. Koutsoukos. 281-290 [doi]
- Reputation-based networked control with data-corrupting channelsShreyas Sundaram, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Insup Lee, George J. Pappas. 291-300 [doi]
- Almost sure stability of networked control systems under exponentially bounded bursts of dropoutsMichael D. Lemmon, Xiaobo Sharon Hu. 301-310 [doi]
- SHAVE: stochastic hybrid analysis of markov population modelsMaksim Lapin, Linar Mikeev, Verena Wolf. 311-312 [doi]
- TuLiP: a software toolbox for receding horizon temporal logic planningTichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, Richard M. Murray. 313-314 [doi]
- Pessoa 2.0: a controller synthesis tool for cyber-physical systemsPritam Roy, Paulo Tabuada, Rupak Majumdar. 315-316 [doi]
- A step towards verification and synthesis from simulink/stateflow modelsKarthik Manamcheri, Sayan Mitra, Stanley Bak, Marco Caccamo. 317-318 [doi]