Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ernst Moritz Hahn, Holger Hermanns |
Rewarding probabilistic hybrid automata. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hongfei Fu 0001 |
Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ebru Aydin Gol, Mircea Lazar |
Temporal logic model predictive control for discrete-time systems. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sarah M. Loos, David W. Renshaw, André Platzer |
Formal verification of distributed aircraft controllers. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Goran Frehse, Rajat Kateja, Colas Le Guernic |
Flowpipe approximation and clustering in space-time. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Van Luong Le, Fabien Lauer, Laurent Bako, Gérard Bloch |
Learning nonlinear hybrid systems: from sparse optimization to support vector regression. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo G. Sanfelice, David A. Copp, Pablo Nanez |
A toolbox for simulation of hybrid systems in matlab/simulink: hybrid equations (HyEQ) toolbox. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Akshay Rajhans, Bruce H. Krogh |
Compositional heterogeneous abstraction. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Koushil Sreenath, Connie R. Hill Jr., Vijay Kumar 0001 |
A partially observable hybrid system model for bipedal locomotion for adapting to terrain variations. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pavithra Prabhakar, Mahesh Viswanathan 0001 |
On the decidability of stability of hybrid systems. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Heath LeBlanc, Xenofon D. Koutsoukos |
Resilient synchronization in robust networked multi-agent systems. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Insoon Yang, Sabine Becker-Weimann, Mina J. Bissell, Claire J. Tomlin |
One-shot computation of reachable sets for differential games. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ganesh P. Kumar 0001, Aurélie Buffin, Theodore P. Pavlic, Stephen Pratt, Spring Berman |
A stochastic hybrid system model of collective transport in the desert ant aphaenogaster cockerelli. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sebti Mouelhi, Antoine Girard, Gregor Gößler |
CoSyMA: a tool for controller synthesis using multi-scale abstractions. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Aaron D. Ames |
Human-inspired control of bipedal robots via control lyapunov functions and quadratic programs. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray |
An aircraft electric power testbed for validating automatically synthesized reactive control protocols. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matthew R. Maly, Morteza Lahijanian, Lydia E. Kavraki, Hadas Kress-Gazit, Moshe Y. Vardi |
Iterative temporal motion planning for hybrid systems in partially unknown environments. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Calin Belta, Franjo Ivancic (eds.) |
Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA |
HSCC |
2013 |
DBLP BibTeX RDF |
|
1 | Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh, Sanjit A. Seshia |
Mining requirements from closed-loop control models. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Di Cairano, Maurice Heemels, Mircea Lazar, Alberto Bemporad |
Hybrid control lyapunov functions for the stabilization of hybridsystems. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Liberzon |
Limited-information control of hybrid systems via reachable set propagation. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Maryam Kamgarpour, Sean Summers, John Lygeros |
Control design for specifications on stochastic hybrid systems. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Fontanelli, Luigi Palopoli 0002, Luca Greco 0003 |
Optimal CPU allocation to a set of control tasks with soft real-time execution constraints. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi 0001 |
Safe schedulability of bounded-rate multi-mode systems. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Vinayak S. Prabhu |
Quantitative timed simulation functions and refinement metrics for real-time systems. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Benerecetti, Marco Faella |
Tracking differentiable trajectories across polyhedra boundaries. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zhi Han, Pieter J. Mosterman |
Towards sensitivity analysis of hybrid systems using simulink. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jerome Thai, Alexandre M. Bayen |
State estimation for polyhedral hybrid systems and applications to the Godunov scheme. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate |
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Rungger, Manuel Mazo Jr., Paulo Tabuada |
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ilya Tkachev, Alessandro Abate |
Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michael Posa, Mark M. Tobenkin, Russ Tedrake |
Lyapunov analysis of rigid body systems with impacts and friction via sums-of-squares. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yanni Kouskoulas, David W. Renshaw, André Platzer, Peter Kazanzides |
Certifying the safe design of a virtual fixture control algorithm for a surgical robot. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Althoff |
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre |
A simulink hybrid heart model for quantitative verification of cardiac pacemakers. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jana Tumova, Gavin C. Hall, Sertac Karaman, Emilio Frazzoli, Daniela Rus |
Least-violating control strategy synthesis with safety rules. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate |
Probabilistic invariance of mixed deterministic-stochastic dynamical systems. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura |
Transcendental inductive invariants generation for non-linear differential and hybrid systems. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aaron D. Ames, Eric A. Cousineau, Matthew J. Powell |
Dynamically stable bipedal robotic walking with NAO via human-inspired hybrid zero dynamics. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Akshay Rajhans, Bruce H. Krogh |
Heterogeneous verification of cyber-physical systems using behavior relations. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schrammel, Bertrand Jeannet |
From hybrid data-flow languages to hybrid automata: a complete translation. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Zuliani, Christel Baier, Edmund M. Clarke |
Rare-event verification for stochastic hybrid systems. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Linar Mikeev, Verena Wolf |
Parameter estimation for stochastic hybrid models of biochemical reaction networks. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Feng Zhu 0021, Han Yu 0002, Michael J. McCourt, Panos J. Antsaklis |
Passivity and stability of switched systems under quantization. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ufuk Topcu, Necmiye Ozay, Jun Liu 0015, Richard M. Murray |
On synthesizing robust discrete controllers under modeling uncertainty. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Anil Aswani, Jerry Ding, Haomiao Huang, Michael P. Vitus, Jeremy H. Gillula, Patrick Bouffard, Claire J. Tomlin |
Verification and control of hybrid systems using reachability analysis with machine learning. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto |
A symbolic approach to the design of nonlinear networked control systems. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sriram Sankaranarayanan 0001, Georgios Fainekos |
Falsification of temporal properties of hybrid systems using the cross-entropy method. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Benerecetti, Marco Faella, Stefano Minopoli |
Reachability games for linear hybrid systems. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Zhikun She, Bai Xue 0001 |
Algebraic analysis on asymptotic stability of switched hybrid systems. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche, Eric Feron |
A generic ellipsoid abstract domain for linear time invariant systems. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Althoff, Bruce H. Krogh |
Avoiding geometric intersection operations in reachability analysis of hybrid systems. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Heath LeBlanc, Xenofon D. Koutsoukos |
Low complexity resilient consensus in networked multi-agent systems with adversaries. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shahab Kaynama, John N. Maidens, Meeko Oishi, Ian M. Mitchell, Guy Albert Dumont |
Computing the viability kernel using maximal reachable sets. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Calin Belta |
Formal methods for dynamical systems. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro D'Innocenzo, Alessandro Abate, Joost-Pieter Katoen |
Robust PCTL model checking. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Emeka Eyisi, Jia Bai, Derek Riley, Jiannian Weng, Yan Wei, Yuan Xue 0001, Xenofon D. Koutsoukos, Janos Sztipanovits |
NCSWT: an integrated modeling and simulation tool for networked control systems. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Parasara Sridhar Duggirala, Sayan Mitra |
Lyapunov abstractions for inevitability of hybrid systems. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre |
Verification of linear duration properties over continuous-time markov chains. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christoffer Sloth, George J. Pappas, Rafael Wisniewski |
Compositional safety analysis using barrier certificates. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vamsi Kalyan Putta, Guangwei Zhu, Jianghai Hu, Jinglai Shen |
Efficient computation of generalized input-to-state ℒ2-gains of discrete-time switched linear systems. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Ashutosh Trivedi 0001, Dominik Wojtczak |
Optimal scheduling for constant-rate multi-mode systems. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Colombo, Domitilla Del Vecchio |
Efficient algorithms for collision avoidance at intersections. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thao Dang 0001, Ian M. Mitchell (eds.) |
Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012 |
HSCC |
2012 |
DBLP BibTeX RDF |
|
1 | Zhenqi Huang, Sayan Mitra |
Computing bounded reach sets from sampled simulation traces. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan 0001 |
Pre-orders for reasoning about stability. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lichun Li, Xiaofeng Wang 0007, Michael D. Lemmon |
Stabilizing bit-rates in quantized event triggered control systems. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ebru Aydin Gol, Mircea Lazar, Calin Belta |
Language-guided controller synthesis for discrete-time linear systems. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ilya Tkachev, Alessandro Abate |
Regularization of bellman equations for infinite-horizon probabilistic properties. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sean Summers, Maryam Kamgarpour, John Lygeros, Claire J. Tomlin |
A stochastic reach-avoid problem with random obstacles. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang 0001 |
Measurability and safety verification for stochastic hybrid systems. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pritam Roy, Paulo Tabuada, Rupak Majumdar |
Pessoa 2.0: a controller synthesis tool for cyber-physical systems. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre |
Quantitative automata model checking of autonomous stochastic hybrid systems. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Vinayak S. Prabhu |
Synthesis of memory-efficient "real-time" controllers for safety objectives. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marco Caccamo, Emilio Frazzoli, Radu Grosu (eds.) |
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011 |
HSCC |
2011 |
DBLP BibTeX RDF |
|
1 | Matthew J. Travers, Todd D. Murphey, Lucy Y. Pao |
Impulsive data association with an unknown number of targets. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Javier Cámara, Antoine Girard, Gregor Gößler |
Synthesis of switching controllers using approximately bisimilar multiscale abstractions. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Constantin Florin Caruntu, Andreea Elena Balau, Mircea Lazar, Paul P. J. van den Bosch, Stefano Di Cairano |
A predictive control solution for driveline oscillations damping. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tomas Tuma, Aggeliki Pantazi, John Lygeros, Abu Sebastian |
Impulsive control for nanopositioning: stability and performance. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans |
Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sriram Sankaranarayanan 0001 |
Automatic abstraction of non-linear systems using change of bases transformations. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, Richard M. Murray |
TuLiP: a software toolbox for receding horizon temporal logic planning. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Amir Ali Ahmadi, Raphaël M. Jungers, Pablo A. Parrilo, Mardavij Roozbehani |
Analysis of the joint spectral radius via Lyapunov functions on path-complete graphs. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Maksim Lapin, Linar Mikeev, Verena Wolf |
SHAVE: stochastic hybrid analysis of markov population models. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | André Platzer |
Quantified differential invariants. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rupak Majumdar, Elaine Render, Paulo Tabuada |
Robust discrete synthesis against unspecified disturbances. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jerome Le Ny, Eric Feron, George J. Pappas |
Resource constrained LQR control under fast sampling. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aaron D. Ames |
Characterizing knee-bounce in bipedal robotic walking: a zeno behavior approach. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera 0001, Vojtech Rehák |
Measuring performance of continuous-time stochastic processes using timed automata. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Heath LeBlanc, Xenofon D. Koutsoukos |
Consensus in networked multi-agent systems with adversaries. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thao Dang 0001, Romain Testylier |
Hybridization domain construction using curvature estimation. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ian M. Mitchell |
Scalable calculation of reach sets and tubes for nonlinear systems with terminal integrators: a mixed implicit explicit formulation. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Althoff, Colas Le Guernic, Bruce H. Krogh |
Reachable set computation for uncertain time-varying linear systems. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | George J. Pappas |
Wireless control networks: modeling, synthesis, robustness, security. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shreyas Sundaram, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Insup Lee 0001, George J. Pappas |
Reputation-based networked control with data-corrupting channels. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Karthik Manamcheri, Sayan Mitra, Stanley Bak, Marco Caccamo |
A step towards verification and synthesis from simulink/stateflow models. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. Lemmon, Xiaobo Sharon Hu |
Almost sure stability of networked control systems under exponentially bounded bursts of dropouts. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kathrin Flaßkamp, Sina Ober-Blöbaum |
Variational formulation and optimal control of hybrid lagrangian systems. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ji-Woong Lee, Geir E. Dullerud |
Joint synthesis of switching and feedback for linear systems in discrete time. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marc Geilen, Stavros Tripakis, Maarten Wiggers |
The earlier the better: a theory of timed actor interfaces. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|