Search results for "HSCC"

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

Publications at "HSCC"( http://dblp.L3S.de/Venues/HSCC )