
Conferences in DBLP
 David Berlinski
The Mathematics of Matter and the Mathematics of Mind. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:1 [Conf]
 David Harel
A Grand Challenge: Full Reactive Modeling of a Multicellular Animal. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:2 [Conf]
 Udi Peless
Developing Home Robotics Products: Challenges and Lessons Learned. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:3 [Conf]
 Rajeev Alur, Thao Dang, Franjo Ivancic
Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:419 [Conf]
 Eugene Asarin, Thao Dang, Antoine Girard
Reachability Analysis of Nonlinear Systems Using Conservative Approximation . [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:2035 [Conf]
 Adam Austin, Magnus Egerstedt
Mode Reconstruction for Source Coding and Multimodal Control. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:3649 [Conf]
 Thomas Bak, Jan Bendtsen, Anders P. Ravn
Hybrid Control Design for a Wheeled Mobile Robot. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:5065 [Conf]
 Leandro G. Barajas, Ashish Kansal, Abhinav Saxena, Magnus Egerstedt, Alex Goldstein, Edward W. Kamen
Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:6680 [Conf]
 Alberto Bemporad, Pandeli Borodani, Massimo Mannelli
Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:8196 [Conf]
 Alberto Bemporad, Andrea Garulli, Simone Paoletti, Antonio Vicino
A Greedy Approach to Identification of Piecewise Affine Models. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:97112 [Conf]
 Richard J. Boulton, Ruth Hardy, Ursula Martin
A Hoare Logic for SingleInput SingleOutput ContinuousTime Control Systems. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:113125 [Conf]
 Manuela L. Bujorianu, John Lygeros
Reachability Questions in Piecewise Deterministic Markov Processes. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:126140 [Conf]
 Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli
Automatic Verification of a Turbogas Control System with the Mur varphi Verifier. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:141155 [Conf]
 JeanGuillaume Dumas, Aude Rondepierre
Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:156171 [Conf]
 Nael H. ElFarra, Panagiotis D. Christofides
Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control Actuators. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:172187 [Conf]
 Giancarlo FerrariTrecate, Michael Schinkel
Conditions of Optimal Classification for Piecewise Affine Regression. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:188202 [Conf]
 Yan Gao, John Lygeros, Marc Quincampoix, Nicolas Seube
Approximate Stabilisation of Uncertain Hybrid Systems. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:203215 [Conf]
 Tobias Geyer, Fabio Danilo Torrisi, Manfred Morari
Efficient Mode Enumeration of Compositional Hybrid Systems. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:216232 [Conf]
 Ronojoy Ghosh, Ashish Tiwari, Claire Tomlin
Automated Symbolic Reachability Analysis; with Application to DeltaNotch Signaling Automata. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:233248 [Conf]
 W. P. M. H. Heemels, M. K. Çamlibel, A. J. van der Schaft, J. M. Schumacher
Modelling, WellPosedness, Stability of Switched Electrical Networks. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:249266 [Conf]
 Hidde de Jong, JeanLuc Gouzé, Céline Hernandez, Michel Page, Tewfik Sari, Johannes Geiselmann
Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:267282 [Conf]
 Jim Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg
On Systematic Simulation of Open Continuous Systems. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:283297 [Conf]
 Xenofon D. Koutsoukos, James Kurien, Feng Zhao
Estimation of Distributed Hybrid Systems Using Particle Filtering Methods. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:298313 [Conf]
 Andreas Kwiatkowski, Gerwald Lichtenberg, Axel Schild
Event Prediction for Switching Linear Systems with Time Varying Thresholds Using Orthogonal Functions. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:314327 [Conf]
 Jie Liu, Edward A. Lee
On the Causality of MixedSignal and Hybrid Models. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:328342 [Conf]
 Sayan Mitra, Yong Wang, Nancy A. Lynch, Eric Feron
Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:343358 [Conf]
 Rainer Möbus, Mato Baotic, Manfred Morari
Multiobject Adaptive Cruise Control. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:359374 [Conf]
 Joël Ouaknine, James Worrell
Universality and Language Inclusion for Open and Closed Timed Automata. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:375388 [Conf]
 Luigi Palopoli, Luca Abeni, Giuseppe Lipari
On the Application of Hybrid Control to CPU Reservations. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:389404 [Conf]
 Bruno Picasso, Antonio Bicchi
Stabilization of LTI Systems with Quantized State  Quantized Input Static Feedback. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:405416 [Conf]
 Subramanian Ramamoorthy, Benjamin Kuipers
Qualitative Heterogeneous Control of Higher Order Systems. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:417434 [Conf]
 William C. Rounds, Hosung Song
The PhiCalculus: A Language for Distributed Control of Reconfigurable Embedded Systems. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:435449 [Conf]
 Matthew Senesky, Gabriel Eirea, TakJohn Koo
Hybrid Modelling and Control of Power Electronics. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:450465 [Conf]
 M. Shahid Shaikh, Peter E. Caines
On the Optimal Control of Hybrid Systems: Optimization of Trajectories, Switching Times, Location Schedules. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:466481 [Conf]
 Olaf Stursberg, Bruce H. Krogh
Efficient Representation and Computation of Reachable Sets for Hybrid Systems. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:482497 [Conf]
 Paulo Tabuada, George J. Pappas
Model Checking LTL over Controllable Linear Systems Is Decidable. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:498513 [Conf]
 Ashish Tiwari
Approximate Reachability for Linear Systems. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:514525 [Conf]
 René Vidal, Alessandro Chiuso, Stefano Soatto, Shankar Sastry
Observability of Linear Hybrid Systems. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:526539 [Conf]
 Xuping Xu, Panos J. Antsaklis
Results and Perspectives on Computational Methods for Optimal Control of Switched Systems. [Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:540555 [Conf]
