Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18. HSCC 2015: Seattle, WA, USA
- Antoine Girard, Sriram Sankaranarayanan:
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015. ACM 2015, ISBN 978-1-4503-3433-4 - Alexander Liniger, John Lygeros:
A viability approach for fast recursive feasible finite horizon path planning of autonomous RC cars. 1-10 - Jaime F. Fisac, Mo Chen, Claire J. Tomlin, S. Shankar Sastry:
Reach-avoid problems with time-varying dynamics, targets and constraints. 11-20 - Ian M. Mitchell, Shahab Kaynama:
An improved algorithm for robust safety analysis of sampled data systems. 21-30 - Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
:
What's decidable about recursive hybrid automata? 31-40 - Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe, Ashutosh Trivedi:
Bounded-rate multi-mode systems based motion planning. 41-50 - Matthew Philippe, Raphaël M. Jungers:
A sufficient condition for the boundedness of matrix products accepted by an automaton. 51-57 - Samuel Coogan, Murat Arcak:
Efficient finite abstraction of mixed monotone systems. 58-67 - Matthias Rungger, Majid Zamani:
Compositional construction of approximate abstractions. 68-77 - Abhishek Murthy, Md. Ariful Islam, Scott A. Smolka, Radu Grosu:
Computing bisimulation functions using SOS optimization and δ-decidability over the reals. 78-87 - Yi Deng, A. Agung Julius, Alessandro D'Innocenzo:
Probabilistic diagnosability of hybrid systems. 88-97 - Indranil Saha, Sanjoy K. Baruah, Rupak Majumdar:
Dynamic scheduling for networked control systems. 98-107 - Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche:
Closed loop analysis of control command software. 108-117 - Kunihisa Okano, Masashi Wakaiki, João P. Hespanha:
Real-time control under clock offsets between sensors and controllers. 118-127 - Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson:
HYST: a source transformation and translation tool for hybrid automaton models. 128-133 - Fedor Shmarov, Paolo Zuliani:
ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems. 134-139 - Ruxandra Bobiti, Mircea Lazar:
A delta-sampling verification theorem for discrete-time, possibly discontinuous systems. 140-148 - Goran Frehse, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, Andreas Podelski:
Eliminating spurious transitions in reachability with support functions. 149-158 - Kendra Lesser, Meeko Oishi:
Finite state approximation for verification of partially observable stochastic hybrid systems. 159-168 - Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud:
Statistical verification of dynamical systems using set oriented methods. 169-178 - David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter:
Requirements for hybrid cosimulation standards. 179-188 - Iman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci, Radu Grosu, Calin Belta:
SpaTeL: a novel spatial-temporal logic and its applications to networked systems. 189-198 - Rupak Majumdar, Vinayak S. Prabhu:
Computing the Skorokhod distance between polygonal traces. 199-208 - Aaron D. Ames, Paulo Tabuada, Bastian Schürmann, Wen-Loong Ma, Shishir Kolathaya, Matthias Rungger, Jessy W. Grizzle:
First steps toward formal controller synthesis for bipedal robots. 209-218 - Sai Pushpak, Amit Diwadkar, Umesh Vaidya:
Vulnerability analysis of dynamical power networks to stochastic link failure attacks. 219-226 - Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke:
Towards personalized prostate cancer therapy using delta-reachability analysis. 227-232 - María Svorenová, Martin Chmelik, Kevin Leahy, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Cerná, Calin Belta:
Temporal logic motion planning using POMDPs with parity objectives: case study paper. 233-238 - Vasumathi Raman, Alexandre Donzé, Dorsa Sadigh, Richard M. Murray, Sanjit A. Seshia:
Reactive synthesis from signal temporal logic specifications. 239-248 - Rüdiger Ehlers, Ufuk Topcu:
Estimator-based reactive synthesis under incomplete information. 249-258 - María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta:
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. 259-268 - Scott C. Livingston, Eric M. Wolff, Richard M. Murray:
Cross-entropy temporal logic motion planning. 269-278 - Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta:
Enforcing temporal logic specifications via reinforcement learning. 279-280 - Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant:
Symbolic control of monotone systems application to ventilation regulation in buildings. 281-282 - Lin Zhao, Wei Zhang:
A stochastic hybrid system approach to aggregated load modeling for demand response. 283-284 - Rajarshi Ray, Amit Gurung:
Parallel state space exploration of linear systems with inputs using XSpeed. 285-286 - Matthew A. Clark, Kuldip S. Rattan:
Hybrid representation of rule-based systems. 287-288 - Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson:
HyRG: a random generation tool for affine hybrid automata. 289-290 - Mohamed Amin Ben Sassi, Sriram Sankaranarayanan:
Stability and stabilization of polynomial dynamical systems using Bernstein polynomials. 291-292 - Ye Zhao, Donghyun Kim, Gray C. Thomas, Luis Sentis:
Hybrid multi-contact dynamics for wedge jumping locomotion behaviors. 293-294 - Jiang Wan, Arquimedes Canedo, Mohammad Abdullah Al Faruque:
Model-based design of time-triggered real-time embedded systems for digital manufacturing. 295-296 - Hadi Ravanbakhsh, Sriram Sankaranarayanan:
Counterexample-guided stabilization of switched systems using control lyapunov functions. 297-298 - Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski, Xiaoqing Jin:
Falsification of safety properties for closed loop control systems. 299-300
Demo
- Christopher X. Brooks, Edward A. Lee, David Lorenzetti, Thierry S. Nouidui, Michael Wetter:
CyPhySim: a cyber-physical systems simulator. 301-302 - Anayo K. Akametalu, Claire J. Tomlin:
Towards online reachability analysis with temporal-differencing. 303-304 - Huihua Zhao, Jake Reher, Jonathan Horn, Victor Paredes, Aaron D. Ames:
Demonstration of locomotion with the powered prosthesis AMPRO utilizing online optimization-based control. 305-306 - Parasara Sridhar Duggirala, Matthew Potok, Sayan Mitra, Mahesh Viswanathan:
C2E2: a tool for verifying annotated hybrid systems. 307-308
a service of 
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-05-14 21:20 CEST 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:
