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. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rupak Majumdar, Vinayak S. Prabhu |
Computing Distances between Reach Flowpipes. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo G. Sanfelice |
Robust Asymptotic Stabilization of Hybrid Systems using Control Lyapunov Functions. |
HSCC |
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. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Rungger, Majid Zamani 0001 |
SCOTS: A Tool for the Synthesis of Symbolic Controllers. |
HSCC |
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. |
HSCC |
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. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Eric S. Kim, Murat Arcak, Sanjit A. Seshia |
Directed Specifications and Assumption Mining for Monotone Dynamical Systems. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Liberzon, Sayan Mitra |
Entropy and Minimal Data Rates for State Estimation and Model Detection. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Minopoli, Goran Frehse |
SL2SX Translator: From Simulink to SpaceEx Models. |
HSCC |
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. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff |
Reachset Conformance Testing of Hybrid Automata. |
HSCC |
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 |
HSCC |
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. |
HSCC |
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. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lin Zhao 0009, Wei Zhang 0013 |
A stochastic hybrid system approach to aggregated load modeling for demand response. |
HSCC |
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. |
HSCC |
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. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rupak Majumdar, Vinayak S. Prabhu |
Computing the Skorokhod distance between polygonal traces. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Indranil Saha, Sanjoy K. Baruah, Rupak Majumdar |
Dynamic scheduling for networked control systems. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Coogan 0001, Murat Arcak |
Efficient finite abstraction of mixed monotone systems. |
HSCC |
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. |
HSCC |
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. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Rungger, Majid Zamani 0001 |
Compositional construction of approximate abstractions. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ruxandra Bobiti, Mircea Lazar |
A delta-sampling verification theorem for discrete-time, possibly discontinuous systems. |
HSCC |
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. |
HSCC |
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. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Ehlers, Ufuk Topcu |
Estimator-based reactive synthesis under incomplete information. |
HSCC |
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. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta |
Enforcing temporal logic specifications via reinforcement learning. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Fedor Shmarov, Paolo Zuliani |
ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kendra Lesser, Meeko Oishi |
Finite state approximation for verification of partially observable stochastic hybrid systems. |
HSCC |
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. |
HSCC |
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. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche |
Closed loop analysis of control command software. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matthew A. Clark 0001, Kuldip S. Rattan |
Hybrid representation of rule-based systems. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter |
Requirements for hybrid cosimulation standards. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant |
Symbolic control of monotone systems application to ventilation regulation in buildings. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rajarshi Ray 0001, Amit Gurung |
Parallel state space exploration of linear systems with inputs using XSpeed. |
HSCC |
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. |
HSCC |
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. |
HSCC |
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. |
HSCC |
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 |
HSCC |
2015 |
DBLP BibTeX RDF |
|
1 | Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson |
HYST: a source transformation and translation tool for hybrid automaton models. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Anayo K. Akametalu, Claire J. Tomlin |
Towards online reachability analysis with temporal-differencing. |
HSCC |
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. |
HSCC |
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. |
HSCC |
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. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Scott C. Livingston, Eric M. Wolff, Richard M. Murray |
Cross-entropy temporal logic motion planning. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sai Pushpak, Amit Diwadkar, Umesh Vaidya |
Vulnerability analysis of dynamical power networks to stochastic link failure attacks. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ian M. Mitchell, Shahab Kaynama |
An improved algorithm for robust safety analysis of sampled data systems. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hadi Ravanbakhsh, Sriram Sankaranarayanan 0001 |
Counterexample-guided stabilization of switched systems using control lyapunov functions. |
HSCC |
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. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yi Deng 0004, A. Agung Julius, Alessandro D'Innocenzo |
Probabilistic diagnosability of hybrid systems. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Amin Ben Sassi, Sriram Sankaranarayanan 0001 |
Stability and stabilization of polynomial dynamical systems using Bernstein polynomials. |
HSCC |
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. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Goran Frehse, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, Andreas Podelski |
Eliminating spurious transitions in reachability with support functions. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi 0001 |
What's decidable about recursive hybrid automata? |
HSCC |
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. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Parasara Sridhar Duggirala, Matthew Potok, Sayan Mitra, Mahesh Viswanathan 0001 |
C2E2: a tool for verifying annotated hybrid systems. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Riedinger, Jean-Claude Vivalda |
An LQ sub-optimal stabilizing feedback law for switched linear systems. |
HSCC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Eric Goubault, Olivier Mullier, Sylvie Putot, Michel Kieffer |
Inner approximated reachability analysis. |
HSCC |
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. |
HSCC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christoffer Sloth, Rafael Wisniewski |
Control to facet for polynomial systems. |
HSCC |
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. |
HSCC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ilya Tkachev, Alessandro Abate |
On approximation metrics for linear temporal model-checking of stochastic systems. |
HSCC |
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. |
HSCC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Rupak Majumdar |
Edit distance for timed automata. |
HSCC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, Jan Otop |
Model measuring for hybrid systems. |
HSCC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jun Liu 0015, Necmiye Ozay |
Abstraction, discretization, and robustness in temporal logic control of dynamical systems. |
HSCC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Grégory Batt |
Cells driven by computers: long-term model predictive control of gene expression in yeast. |
HSCC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Dreossi, Thao Dang 0001 |
Parameter synthesis for polynomial biological models. |
HSCC |
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. |
HSCC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoqing Jin, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda, Kenneth R. Butts |
Powertrain control verification benchmark. |
HSCC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gabor Simko, Ethan K. Jackson |
A bounded model checking tool for periodic sample-hold systems. |
HSCC |
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. |
HSCC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Majid Zamani 0001, Ilya Tkachev, Alessandro Abate |
Bisimilar symbolic models for stochastic control systems without state-space discretization. |
HSCC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Atreyee Kundu, Debasish Chatterjee |
Stabilizing discrete-time switched linear systems. |
HSCC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Ehlers, Ufuk Topcu |
Resilience to intermittent assumption violations in reactive synthesis. |
HSCC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Romain Brenguier, Franck Cassez, Jean-François Raskin |
Energy and mean-payoff timed games. |
HSCC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Vankeerberghen, Julien M. Hendrickx, Raphaël M. Jungers |
JSR: a toolbox to compute the joint spectral radius. |
HSCC |
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. |
HSCC |
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 |
HSCC |
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. |
HSCC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sihan Xiong, Ji-Woong Lee |
State-feedback stabilization of discrete-time piecewise affine systems. |
HSCC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Md. Ariful Islam, Abhishek Murthy, Antoine Girard, Scott A. Smolka, Radu Grosu |
Compositionality results for cardiac cell dynamics. |
HSCC |
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. |
HSCC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sergiy Bogomolov, Christian Herrera, Marco Muñiz, Bernd Westphal, Andreas Podelski |
Quasi-dependent variables in hybrid automata. |
HSCC |
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. |
HSCC |
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. |
HSCC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Rungger, Paulo Tabuada |
Abstracting and refining robustness for cyber-physical systems. |
HSCC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | A. Prasad Sistla, Milos Zefran, Yao Feng, Yue Ben |
Timely monitoring of partially observable stochastic systems. |
HSCC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zhenqi Huang, Sayan Mitra |
Proofs from simulations and modular annotations. |
HSCC |
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. |
HSCC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Eike Möhlmann, Oliver E. Theel |
Stabhyli: a tool for automatic stability verification of non-linear hybrid systems. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Alexander Kößler, Ulrich Schmid 0001 |
Automated analysis of real-time scheduling using graph games. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dirk van Zwieten, Erjen Lefeber, Maurice Heemels |
Observer design for a class of piecewise affine hybrid systems. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Arquimedes Canedo, Livio Dalloro, Hartmut Ludwig |
Pipelining for cyclic control systems. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Quan Zu, Miaomiao Zhang, Jiaqi Zhu, Naijun Zhan |
Bounded model-checking of discrete duration calculus. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Bourke, Marc Pouzet |
Zélus: a synchronous language with ODEs. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|