Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jianghai Hu, Shankar Sastry 0001 |
Symmetry Reduction of a Class of Hybrid Systems. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | James A. Sethian, Alexander Vladimirsky |
Ordered Upwind Methods for Hybrid Control. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Sriram Narasimhan, Gautam Biswas |
An Approach to Model-Based Diagnosis of Hybrid Systems. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Michael S. Branicky, Siddharth R. Chhatpar |
A Computational Framework for the Verification and Synthesis of Force-Guided Robotic Assembly Strategies. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | David C. Sharp |
Hybrid and Embedded Software Technologies for Production Large-Scale Systems. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Eugene Asarin, Gerardo Schneider, Sergio Yovine |
Towards Computing Phase Portraits of Polygonal Differential Inclusions. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Palopoli 0002, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Laurent Elghaoui, Antonio Bicchi |
Synthesis of Robust Control Systems under Resource Constraints. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Robert P. Goldman, David J. Musliner, Michael J. S. Pelican |
Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Xiaobo Tan, John S. Baras |
Optimal Control of Hysteresis in Smart Actuators: A Viscosity Solutions Approach. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Stursberg, Sebastian Panek |
Control of Switched Hybrid Systems Based on Disjunctive Formulations. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
Switched Dynamics, Optimal Control, Mixed Integer Programming, Hybrid Automata, Disjunctive Programming |
1 | Paulo Tabuada, George J. Pappas, Pedro U. Lima |
Composing Abstractions of Hybrid Systems. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Kuipers, Subramanian Ramamoorthy |
Qualitative Modeling and Heterogeneous Control of Global System Behavior. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre M. Bayen, Eva Crück, Claire J. Tomlin |
Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Tiwari 0001, Gaurav Khanna 0001 |
Series of Abstractions for Hybrid Automata. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Aubin, Olivier Dordan |
Dynamical Qualitative Analysis of Evolutionary Systems. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Thao Dang 0001, Franjo Ivancic |
Reachability Analysis of Hybrid Systems via Predicate Abstraction. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Altafini, Alberto Speranzon, Karl Henrik Johansson |
Hybrid Control of a Truck and Trailer Vehicle. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Giancarlo Ferrari-Trecate, Francesco Alessandro Cuzzola, Manfred Morari |
Analysis of Discrete-Time PWA Systems with Logic States. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Todd W. Neller |
Information-Based Alpha-Beta Search and the Homicidal Chauffeur. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Nael H. El-Farra, Panagiotis D. Christofides |
Switching and Feedback Laws for Control of Constrained Switched Nonlinear Systems. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Eric Aaron, Franjo Ivancic, Dimitris N. Metaxas |
Hybrid System Models of Navigation Strategies for Games and Animations. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Bemporad, Francesco Borrelli, Manfred Morari |
On the Optimal Control Law for Linear Discrete Time Hybrid Systems. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Stauner |
Discrete-Time Refinement of Hybrid Automata. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Claire J. Tomlin, Mark R. Greenstreet (eds.) |
Hybrid Systems: Computation and Control, 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Elia, Emilio Frazzoli |
Quantized Stabilization of Two-Input Linear Systems: A Lower Bound on the Minimal Quantization Density. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Stefania Pancanti, Laura Leonardi, Lucia Pallottino, Antonio Bicchi |
Optimal Control of Quantized Input Systems. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | João P. Hespanha 0001 |
Computation of Root-Mean-Square Gains of Switched Linear Systems. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Giancarlo Ferrari-Trecate, Eduardo Gallestey, Paolo Letizia, Matteo Spedicato, Manfred Morari, Marc Antoine |
Modeling and Control of Co-generation Power Plants: A Hybrid System Approach. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Franck Cassez, Thomas A. Henzinger, Jean-François Raskin |
A Comparison of Control Problems for Timed and Hybrid Systems. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger |
From Models to Code: The Missing Link in Embedded Software. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Saint-Pierre |
Hybrid Kernels and Capture Basins for Impulse Constrained Systems. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tal Pasternak |
Reconfiguration in Hierarchical Control of Piecewise-Affine Systems. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Michael W. Hofbaur, Brian C. Williams |
Mode Estimation of Probabilistic Hybrid Systems. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Uri M. Ascher |
Numerical Methods for Differential Systems with Algebraic Equality and Inequality Constraints. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tak-John Koo, Shankar Sastry 0001 |
Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jennifer M. Davoren, Thomas Moor, Anil Nerode |
Hybrid Control Loops, A/D Maps, and Dynamic Specifications. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Costas C. Pantelides |
Optimisation of Hybrid Processes and Hybrid Controllers. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Calin Belta, Franjo Ivancic |
Hybrid Modeling and Simulation of Biomolecular Networks. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Mireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli |
Optimal Control Using Bisimulations: Implementation. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Xenofon D. Koutsoukos, Panos J. Antsaklis |
Characterization of Stabilizing Switching Sequences in Switched Linear Systems Using Piecewise Linear Lyapunov Functions. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ivar Ekeland, Roger Temam |
Hamiltonian Mechanics2. |
HSCC |
2001 |
DBLP BibTeX RDF |
|
1 | Hirokazu Anai, Volker Weispfenning |
Reach Set Computations Using Real Quantifier Elimination. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Vishal Bahl, Andreas A. Linninger |
Modeling of Continuous-Discrete Processes. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Alessandri, Paolo Coletta |
Design of Luenberger Observers for a Class of Hybrid Linear Systems. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Salvatore La Torre, George J. Pappas |
Optimal Paths in Weighted Timed Automata. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Moor, Jennifer M. Davoren |
Robust Controller Synthesis for Hybrid Systems Using Modal Logic. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Aubin |
The Substratum of Impulse and Hybrid Control Systems. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
differential inclusion, cadenced run, Kakutani Theorem, contingent cone, Marchaud map, periodic, equilibrium, hybrid control, execution, run, viability, impulse control |
1 | Paulo Tabuada, George J. Pappas |
Hybrid Abstractions that Preserve Timed Languages. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Meeko Oishi, Claire J. Tomlin, Vipin Gopal, Datta N. Godbole |
Addressing Multiobjective Control: Safety and Performance through Constrained Optimization. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Pieter J. Mosterman |
Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli (eds.) |
Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jens Kalkkuhl, Tor Arne Johansen, Jens Lüdemann, Andreas Queda |
Nonlinear Adaptive Backstepping with Estimator Resetting Using Multiple Observers. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Joel M. Esposito, Vijay Kumar 0001, George J. Pappas |
Accurate Event Detection for Simulating Hybrid Systems. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jochen Schröder, Jan Lunze |
Representation of Quantised Systems by the Frobenius-Perron Operator. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | José M. E. González, Antonio Eduardo Carrilho da Cunha, José E. R. Cury, Bruce H. Krogh |
Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Giancarlo Ferrari-Trecate, Marco Muselli, Diego Liberati, Manfred Morari |
A Clustering Technique for the Identification of Piecewise Affine Systems. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | João P. Hespanha 0001, Stephan Bohacek, Katia Obraczka, Junsoo Lee |
Hybrid Modeling of TCP Congestion Control. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ian M. Mitchell, Alexandre M. Bayen, Claire J. Tomlin |
Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, Marius Minea, Vinayak S. Prabhu |
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Tak-John Koo, George J. Pappas, Shankar Sastry 0001 |
Mode Switching Synthesis for Reachability Specifications. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Kowalczyk, Mario di Bernardo |
On a Novel Class of Bifurcations in Hybrid Dynamical Systems. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
Sliding motion, Hybrid Systems, Bifurcations |
1 | Francesco Borrelli, Alberto Bemporad, Michael Fodor, Davor Hrovat |
A Hybrid Approach to Traction Control. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang 0001, Oded Maler |
On Hybrid Control of Under-Actuated Mechanical Systems. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides, George J. Pappas, Tunc Simsec, Janos Sztipanovits, Stavros Tripakis |
Hybrid Systems Applications: An Oxymoron? |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Balluchi, Philippe Souères, Antonio Bicchi |
Hybrid Feedback Control for Path Tracking by a Bounded-Curvature Vehicle. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ekaterina S. Lemch, Shankar Sastry 0001, Peter E. Caines |
Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ronojoy Ghosh, Claire J. Tomlin |
Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager |
Minimum-Cost Reachability for Priced Timed Automata. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
Optimization, Algorithms, Verification, Data Structures, Timed Automata |
1 | Francesco Alessandro Cuzzola, Manfred Morari |
A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Janos Sztipanovits |
Embedded Software and Systems: Challenges and Approaches. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Radu Grosu, Insup Lee 0001, Oleg Sokolsky |
Compositional Refinement for Hierarchical Hybrid Systems. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Aubin, George Haddad |
Path-Dependent Impulse and Hybrid Systems. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
path-dependent differential inclusion, differential inclusion with memory, functional differential inclusions, Kakutani Theorem, contingent cone, Marchaud map, hybrid control, execution, run, viability, impulse control |
1 | Manfred Morari |
Control as an Embedded Technology. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Luc C. G. J. M. Habets, Jan H. van Schuppen |
Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
Piecewise-linear hybrid systems, polyhedral set, multi-dimensional rectangle, reachability, facet, simplex, control law |
1 | Eugene Asarin, Gerardo Schneider, Sergio Yovine |
On the Decidability of the Reachability Problem for Planar Differential Inclusions. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Omid Shakernia, George J. Pappas, Shankar Sastry 0001 |
Semi-decidable Synthesis for Triangular Hybrid Systems. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
Hybrid I/O Automata Revisited. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jianghai Hu, Maria Prandini, Karl Henrik Johansson, Shankar Sastry 0001 |
Hybrid Geodesics as Optimal Solutions to the Collision-Free Motion Planning Problem. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Liberzon |
Nonlinear Stabilization by Hybrid Quantized Feedback. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi |
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Botchkarev, Stavros Tripakis |
Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
ellipsoidal approximations, verification, hybrid systems, reachability analysis |
1 | Andreas Nonnengart |
Hybrid Systems Verification by Location Elimination. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Alexander B. Kurzhanski, Pravin Varaiya |
Ellipsoidal Techniques for Reachability Analysis. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | René Vidal, Shawn Schaffert, John Lygeros, Shankar Sastry 0001 |
Controlled Invariance of Discrete Time Systems. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Alexey S. Matveev, Andrey V. Savkin |
Existence and Stability of Limit Cycles in Switched Single Server Flow Networks Modelled as Hybrid Dynamical Systems. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. Lemmon |
On the Existence of Solutions to Controlled Hybrid Automata. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Alberto L. Sangiovanni-Vincentelli |
Models of Computation and Simulation of Hybrid Systems. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Luca Berardi, Elena De Santis, Maria Domenica Di Benedetto |
Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Slobodan N. Simic, Karl Henrik Johansson, Shankar Sastry 0001, John Lygeros |
Towards a Geometric Theory of Hybrid Systems. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, Jean-François Raskin |
Robust Undecidability of Timed and Hybrid Systems. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vineet Gupta 0001 |
Hybrid Systems Diagnosis. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Pavlovic 0001, James M. Rehg, Tat-Jen Cham |
A Dynamic Bayesian Network Approach to Tracking Using Learned Switching Dynamic Models. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Peter Niebert, Sergio Yovine |
Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ken Butts |
Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jianghai Hu, John Lygeros, Shankar Sastry 0001 |
Towars a Theory of Stochastic Hybrid Systems. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Pieter J. Mosterman, Gautam Biswas |
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Joseph S. Miller |
Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Nancy A. Lynch, Bruce H. Krogh (eds.) |
Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Mireille E. Broucke, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, Stefano Di Gennaro |
Theory of Optimal Control Using Bisimulations. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Omid Shakernia, Shankar Sastry 0001, George J. Pappas |
Decidable Controller Synthesis for Classes of Linear Systems. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|