Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Benoît Barbot, Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti |
Building Power Consumption Models from Executable Timed I/O Automata Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016, pp. 195-204, 2016, ACM, 978-1-4503-3955-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rupak Majumdar, Vinayak S. Prabhu |
Computing Distances between Reach Flowpipes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016, pp. 267-276, 2016, ACM, 978-1-4503-3955-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo G. Sanfelice |
Robust Asymptotic Stabilization of Hybrid Systems using Control Lyapunov Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016, pp. 235-244, 2016, ACM, 978-1-4503-3955-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexandar Kozarev, John F. Quindlen, Jonathan P. How, Ufuk Topcu |
Case Studies in Data-Driven Verification of Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016, pp. 81-86, 2016, ACM, 978-1-4503-3955-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Rungger, Majid Zamani 0001 |
SCOTS: A Tool for the Synthesis of Symbolic Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016, pp. 99-104, 2016, ACM, 978-1-4503-3955-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Aditya Zutshi 0001, Sriram Sankaranarayanan 0001, Jyotirmoy V. Deshmukh, Xiaoqing Jin |
Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016, pp. 135-144, 2016, ACM, 978-1-4503-3955-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Legat, Raphaël M. Jungers, Pablo A. Parrilo |
Generating Unstable Trajectories for Switched Systems via Dual Sum-Of-Squares Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016, pp. 51-60, 2016, ACM, 978-1-4503-3955-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Eric S. Kim, Murat Arcak, Sanjit A. Seshia |
Directed Specifications and Assumption Mining for Monotone Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016, pp. 21-30, 2016, ACM, 978-1-4503-3955-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Liberzon, Sayan Mitra |
Entropy and Minimal Data Rates for State Estimation and Model Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016, pp. 247-256, 2016, ACM, 978-1-4503-3955-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Minopoli, Goran Frehse |
SL2SX Translator: From Simulink to SpaceEx Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016, pp. 93-98, 2016, ACM, 978-1-4503-3955-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Timothy E. Wang, Pierre-Loïc Garoche, Pierre Roux, Romain Jobredeaux, Eric Feron |
Formal Analysis of Robustness at Model and Code Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016, pp. 125-134, 2016, ACM, 978-1-4503-3955-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff |
Reachset Conformance Testing of Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016, pp. 277-286, 2016, ACM, 978-1-4503-3955-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Abate, Georgios Fainekos (eds.) |
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016 ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![ACM, 978-1-4503-3955-1 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kyungmin Bae, Peter Csaba Ölveczky, Soonho Kong, Sicun Gao, Edmund M. Clarke |
SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016, pp. 145-154, 2016, ACM, 978-1-4503-3955-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Liniger, John Lygeros |
A viability approach for fast recursive feasible finite horizon path planning of autonomous RC cars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 1-10, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lin Zhao 0009, Wei Zhang 0013 |
A stochastic hybrid system approach to aggregated load modeling for demand response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 283-284, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Iman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci, Radu Grosu, Calin Belta |
SpaTeL: a novel spatial-temporal logic and its applications to networked systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 189-198, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Huihua Zhao, Jake Reher, Jonathan Horn, Victor Paredes, Aaron D. Ames |
Demonstration of locomotion with the powered prosthesis AMPRO utilizing online optimization-based control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 305-306, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rupak Majumdar, Vinayak S. Prabhu |
Computing the Skorokhod distance between polygonal traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 199-208, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Indranil Saha, Sanjoy K. Baruah, Rupak Majumdar |
Dynamic scheduling for networked control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 98-107, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Coogan 0001, Murat Arcak |
Efficient finite abstraction of mixed monotone systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 58-67, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Abhishek Murthy, Md. Ariful Islam, Scott A. Smolka, Radu Grosu |
Computing bisimulation functions using SOS optimization and δ-decidability over the reals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 78-87, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 259-268, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Rungger, Majid Zamani 0001 |
Compositional construction of approximate abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 68-77, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ruxandra Bobiti, Mircea Lazar |
A delta-sampling verification theorem for discrete-time, possibly discontinuous systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 140-148, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | María Svorenová, Martin Chmelik, Kevin Leahy 0001, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Cerná, Calin Belta |
Temporal logic motion planning using POMDPs with parity objectives: case study paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 233-238, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yu Wang 0044, Nima Roohi, Matthew West 0001, Mahesh Viswanathan 0001, Geir E. Dullerud |
Statistical verification of dynamical systems using set oriented methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 169-178, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Ehlers, Ufuk Topcu |
Estimator-based reactive synthesis under incomplete information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 249-258, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Philippe, Raphaël M. Jungers |
A sufficient condition for the boundedness of matrix products accepted by an automaton. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 51-57, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta |
Enforcing temporal logic specifications via reinforcement learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 279-280, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Fedor Shmarov, Paolo Zuliani |
ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 134-139, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kendra Lesser, Meeko Oishi |
Finite state approximation for verification of partially observable stochastic hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 159-168, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 209-218, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kunihisa Okano, Masashi Wakaiki, João P. Hespanha 0001 |
Real-time control under clock offsets between sensors and controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 118-127, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche |
Closed loop analysis of control command software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 108-117, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matthew A. Clark 0001, Kuldip S. Rattan |
Hybrid representation of rule-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 287-288, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter |
Requirements for hybrid cosimulation standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 179-188, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant |
Symbolic control of monotone systems application to ventilation regulation in buildings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 281-282, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rajarshi Ray 0001, Amit Gurung |
Parallel state space exploration of linear systems with inputs using XSpeed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 285-286, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jiang Wan, Arquimedes Canedo, Mohammad Abdullah Al Faruque |
Model-based design of time-triggered real-time embedded systems for digital manufacturing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 295-296, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bing Liu 0013, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke |
Towards personalized prostate cancer therapy using delta-reachability analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 227-232, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ye Zhao 0002, Donghyun Kim 0002, Gray C. Thomas, Luis Sentis |
Hybrid multi-contact dynamics for wedge jumping locomotion behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 293-294, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Girard, Sriram Sankaranarayanan 0001 (eds.) |
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![ACM, 978-1-4503-3433-4 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson |
HYST: a source transformation and translation tool for hybrid automaton models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 128-133, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Anayo K. Akametalu, Claire J. Tomlin |
Towards online reachability analysis with temporal-differencing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 303-304, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luan Viet Nguyen, Christian Schilling 0001, Sergiy Bogomolov, Taylor T. Johnson |
HyRG: a random generation tool for affine hybrid automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 289-290, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aditya Zutshi 0001, Sriram Sankaranarayanan 0001, Jyotirmoy V. Deshmukh, James Kapinski, Xiaoqing Jin |
Falsification of safety properties for closed loop control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 299-300, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jaime F. Fisac, Mo Chen, Claire J. Tomlin, S. Shankar Sastry |
Reach-avoid problems with time-varying dynamics, targets and constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 11-20, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Scott C. Livingston, Eric M. Wolff, Richard M. Murray |
Cross-entropy temporal logic motion planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 269-278, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sai Pushpak, Amit Diwadkar, Umesh Vaidya |
Vulnerability analysis of dynamical power networks to stochastic link failure attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 219-226, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ian M. Mitchell, Shahab Kaynama |
An improved algorithm for robust safety analysis of sampled data systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 21-30, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hadi Ravanbakhsh, Sriram Sankaranarayanan 0001 |
Counterexample-guided stabilization of switched systems using control lyapunov functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 297-298, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christopher X. Brooks, Edward A. Lee, David Lorenzetti, Thierry S. Nouidui, Michael Wetter |
CyPhySim: a cyber-physical systems simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 301-302, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yi Deng 0004, A. Agung Julius, Alessandro D'Innocenzo |
Probabilistic diagnosability of hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 88-97, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Amin Ben Sassi, Sriram Sankaranarayanan 0001 |
Stability and stabilization of polynomial dynamical systems using Bernstein polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 291-292, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe, Ashutosh Trivedi 0001 |
Bounded-rate multi-mode systems based motion planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 41-50, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Goran Frehse, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, Andreas Podelski |
Eliminating spurious transitions in reachability with support functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 149-158, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi 0001 |
What's decidable about recursive hybrid automata? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 31-40, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vasumathi Raman, Alexandre Donzé, Dorsa Sadigh, Richard M. Murray, Sanjit A. Seshia |
Reactive synthesis from signal temporal logic specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 239-248, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Parasara Sridhar Duggirala, Matthew Potok, Sayan Mitra, Mahesh Viswanathan 0001 |
C2E2: a tool for verifying annotated hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 307-308, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Riedinger, Jean-Claude Vivalda |
An LQ sub-optimal stabilizing feedback law for switched linear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 21-30, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Eric Goubault, Olivier Mullier, Sylvie Putot, Michel Kieffer |
Inner approximated reachability analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 163-172, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet |
A type-based analysis of causality loops in hybrid systems modelers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 71-82, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christoffer Sloth, Rafael Wisniewski |
Control to facet for polynomial systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 123-132, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pieter J. Mosterman, Gabor Simko, Justyna Zander, Zhi Han |
A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 83-92, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ilya Tkachev, Alessandro Abate |
On approximation metrics for linear temporal model-checking of stochastic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 193-202, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zhaodan Kong, Austin Jones, Ana Medina Ayala, Ebru Aydin Gol, Calin Belta |
Temporal logic inference for classification and prediction from data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 273-282, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Rupak Majumdar |
Edit distance for timed automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 303-312, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, Jan Otop |
Model measuring for hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 213-222, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jun Liu 0015, Necmiye Ozay |
Abstraction, discretization, and robustness in temporal logic control of dynamical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 293-302, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Grégory Batt |
Cells driven by computers: long-term model predictive control of gene expression in yeast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 143-144, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Dreossi, Thao Dang 0001 |
Parameter synthesis for polynomial biological models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 233-242, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Werner Damm, Eike Möhlmann, Astrid Rakow |
Component based design of hybrid systems: a case study on concurrency and coupling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 145-150, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoqing Jin, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda, Kenneth R. Butts |
Powertrain control verification benchmark. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 253-262, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gabor Simko, Ethan K. Jackson |
A bounded model checking tool for periodic sample-hold systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 157-162, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dominicus P. Borgers, Maurice Heemels |
Stability analysis of large-scale networked control systems with local networks: a hybrid small-gain approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 103-112, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Majid Zamani 0001, Ilya Tkachev, Alessandro Abate |
Bisimilar symbolic models for stochastic control systems without state-space discretization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 41-50, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Atreyee Kundu, Debasish Chatterjee |
Stabilizing discrete-time switched linear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 11-20, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Ehlers, Ufuk Topcu |
Resilience to intermittent assumption violations in reactive synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 203-212, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Romain Brenguier, Franck Cassez, Jean-François Raskin |
Energy and mean-payoff timed games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 283-292, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Vankeerberghen, Julien M. Hendrickx, Raphaël M. Jungers |
JSR: a toolbox to compute the joint spectral radius. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 151-156, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Florian David Brunner, Mircea Lazar, Frank Allgöwer |
Computation of piecewise affine terminal cost functions for model predictive control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 1-10, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin Fränzle, John Lygeros (eds.) |
17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![ACM, 978-1-4503-2732-9 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Nick Malone, Kendra Lesser, Meeko M. K. Oishi, Lydia Tapia |
Stochastic reachability based motion planning for multiple moving obstacle avoidance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 51-60, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sihan Xiong, Ji-Woong Lee |
State-feedback stabilization of discrete-time piecewise affine systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 31-40, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Md. Ariful Islam, Abhishek Murthy, Antoine Girard, Scott A. Smolka, Radu Grosu |
Compositionality results for cardiac cell dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 243-252, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy H. Gillula, Shahab Kaynama, Claire J. Tomlin |
Sampling-based approximation of the viability kernel for high-dimensional linear sampled-data systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 173-182, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sergiy Bogomolov, Christian Herrera, Marco Muñiz, Bernd Westphal, Andreas Podelski |
Quasi-dependent variables in hybrid automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 93-102, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ayonga Hereid, Shishir Kolathaya, Mikhail S. Jones, Johnathan Van Why, Jonathan W. Hurst, Aaron D. Ames |
Dynamic multi-domain bipedal walking with atrias through SLIP based human-inspired control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 263-272, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | James Kapinski, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan 0001, Nikos Aréchiga |
Simulation-guided lyapunov analysis for hybrid dynamical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 133-142, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Rungger, Paulo Tabuada |
Abstracting and refining robustness for cyber-physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 223-232, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | A. Prasad Sistla, Milos Zefran, Yao Feng, Yue Ben |
Timely monitoring of partially observable stochastic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 61-70, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zhenqi Huang, Sayan Mitra |
Proofs from simulations and modular annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 183-192, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Vittorio Papadopoulos, Maria Prandini |
Model reduction of switched affine systems: a method based on balanced truncation and randomized optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pp. 113-122, 2014, ACM, 978-1-4503-2732-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Eike Möhlmann, Oliver E. Theel |
Stabhyli: a tool for automatic stability verification of non-linear hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 107-112, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Alexander Kößler, Ulrich Schmid 0001 |
Automated analysis of real-time scheduling using graph games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 163-172, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dirk van Zwieten, Erjen Lefeber, Maurice Heemels |
Observer design for a class of piecewise affine hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 153-162, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Arquimedes Canedo, Livio Dalloro, Hartmut Ludwig |
Pipelining for cyclic control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 223-232, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Quan Zu, Miaomiao Zhang, Jiaqi Zhu, Naijun Zhan |
Bounded model-checking of discrete duration calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 213-222, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Bourke, Marc Pouzet |
Zélus: a synchronous language with ODEs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 113-118, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|