default search action

combined dblp search
author search
venue search
publication search

ask others

18. HSCC 2015: Seattle, WA, USA

> Home > Conferences and Workshops > HSCC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/hybrid/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/2015
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
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/LinigerL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/LinigerL15
Alexander Liniger, John Lygeros:
A viability approach for fast recursive feasible finite horizon path planning of autonomous RC cars. 1-10
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/FisacCTS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/FisacCTS15
Jaime F. Fisac, Mo Chen, Claire J. Tomlin, S. Shankar Sastry:
Reach-avoid problems with time-varying dynamics, targets and constraints. 11-20
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/MitchellK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/MitchellK15
Ian M. Mitchell, Shahab Kaynama:
An improved algorithm for robust safety analysis of sampled data systems. 21-30
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/KrishnaMT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/KrishnaMT15
Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
What's decidable about recursive hybrid automata? 31-40
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BhaveJKST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BhaveJKST15
Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe, Ashutosh Trivedi:
Bounded-rate multi-mode systems based motion planning. 41-50
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/PhilippeJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/PhilippeJ15
Matthew Philippe, Raphaël M. Jungers:
A sufficient condition for the boundedness of matrix products accepted by an automaton. 51-57
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/CooganA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/CooganA15
Samuel Coogan, Murat Arcak:
Efficient finite abstraction of mixed monotone systems. 58-67
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/RunggerZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/RunggerZ15
Matthias Rungger, Majid Zamani:
Compositional construction of approximate abstractions. 68-77
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/MurthyISG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/MurthyISG15
Abhishek Murthy, Md. Ariful Islam, Scott A. Smolka, Radu Grosu:
Computing bisimulation functions using SOS optimization and δ-decidability over the reals. 78-87
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/DengJD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/DengJD15
Yi Deng, A. Agung Julius, Alessandro D'Innocenzo:
Probabilistic diagnosability of hybrid systems. 88-97
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/SahaBM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/SahaBM15
Indranil Saha, Sanjoy K. Baruah, Rupak Majumdar:
Dynamic scheduling for networked control systems. 98-107
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/RouxJG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/RouxJG15
Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche:
Closed loop analysis of control command software. 108-117
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/OkanoWH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/OkanoWH15
Kunihisa Okano, Masashi Wakaiki, João P. Hespanha:
Real-time control under clock offsets between sensors and controllers. 118-127
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BakBJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BakBJ15
Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson:
HYST: a source transformation and translation tool for hybrid automaton models. 128-133
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/ShmarovZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/ShmarovZ15
Fedor Shmarov, Paolo Zuliani:
ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems. 134-139
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BobitiL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BobitiL15
Ruxandra Bobiti, Mircea Lazar:
A delta-sampling verification theorem for discrete-time, possibly discontinuous systems. 140-148
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/FrehseBGSP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/FrehseBGSP15
Goran Frehse, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, Andreas Podelski:
Eliminating spurious transitions in reachability with support functions. 149-158
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/LesserO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/LesserO15
Kendra Lesser, Meeko Oishi:
Finite state approximation for verification of partially observable stochastic hybrid systems. 159-168
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/WangRW0D15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/WangRW0D15
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud:
Statistical verification of dynamical systems using set oriented methods. 169-178
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BromanGLMTW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BromanGLMTW15
David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter:
Requirements for hybrid cosimulation standards. 179-188
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/HaghighiJKBGB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/HaghighiJKBGB15
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
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/MajumdarP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/MajumdarP15
Rupak Majumdar, Vinayak S. Prabhu:
Computing the Skorokhod distance between polygonal traces. 199-208
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/AmesTSMKRG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/AmesTSMKRG15
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
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/PushpakDV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/PushpakDV15
Sai Pushpak, Amit Diwadkar, Umesh Vaidya:
Vulnerability analysis of dynamical power networks to stochastic link failure attacks. 219-226
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/LiuKGZC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/LiuKGZC15
Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke:
Towards personalized prostate cancer therapy using delta-reachability analysis. 227-232
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/SvorenovaCLECCB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/SvorenovaCLECCB15
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
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/RamanDSMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/RamanDSMS15
Vasumathi Raman, Alexandre Donzé, Dorsa Sadigh, Richard M. Murray, Sanjit A. Seshia:
Reactive synthesis from signal temporal logic specifications. 239-248
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/EhlersT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/EhlersT15
Rüdiger Ehlers, Ufuk Topcu:
Estimator-based reactive synthesis under incomplete information. 249-258
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/SvorenovaKCCCB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/SvorenovaKCCCB15
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
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/LivingstonWM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/LivingstonWM15
Scott C. Livingston, Eric M. Wolff, Richard M. Murray:
Cross-entropy temporal logic motion planning. 269-278
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/JonesAKSB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/JonesAKSB15
Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta:
Enforcing temporal logic specifications via reinforcement learning. 279-280
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/MeyerGW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/MeyerGW15
Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant:
Symbolic control of monotone systems application to ventilation regulation in buildings. 281-282
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/Zhao015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/Zhao015
Lin Zhao, Wei Zhang:
A stochastic hybrid system approach to aggregated load modeling for demand response. 283-284
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/RayG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/RayG15
Rajarshi Ray, Amit Gurung:
Parallel state space exploration of linear systems with inputs using XSpeed. 285-286
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/ClarkR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/ClarkR15
Matthew A. Clark, Kuldip S. Rattan:
Hybrid representation of rule-based systems. 287-288
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/NguyenSBJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/NguyenSBJ15
Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson:
HyRG: a random generation tool for affine hybrid automata. 289-290
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/SassiS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/SassiS15
Mohamed Amin Ben Sassi, Sriram Sankaranarayanan:
Stability and stabilization of polynomial dynamical systems using Bernstein polynomials. 291-292
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/ZhaoKTS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/ZhaoKTS15
Ye Zhao, Donghyun Kim, Gray C. Thomas, Luis Sentis:
Hybrid multi-contact dynamics for wedge jumping locomotion behaviors. 293-294
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/WanCF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/WanCF15
Jiang Wan, Arquimedes Canedo, Mohammad Abdullah Al Faruque:
Model-based design of time-triggered real-time embedded systems for digital manufacturing. 295-296
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/RavanbakhshS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/RavanbakhshS15
Hadi Ravanbakhsh, Sriram Sankaranarayanan:
Counterexample-guided stabilization of switched systems using control lyapunov functions. 297-298
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/0001SDKJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/0001SDKJ15
Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski, Xiaoqing Jin:
Falsification of safety properties for closed loop control systems. 299-300

Demo

- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BrooksLLNW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BrooksLLNW15
Christopher X. Brooks, Edward A. Lee, David Lorenzetti, Thierry S. Nouidui, Michael Wetter:
CyPhySim: a cyber-physical systems simulator. 301-302
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/AkametaluT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/AkametaluT15
Anayo K. Akametalu, Claire J. Tomlin:
Towards online reachability analysis with temporal-differencing. 303-304
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/ZhaoRHPA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/ZhaoRHPA15
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
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/DuggiralaPM015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/DuggiralaPM015
Parasara Sridhar Duggirala, Matthew Potok, Sayan Mitra, Mahesh Viswanathan:
C2E2: a tool for verifying annotated hybrid systems. 307-308

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.