6. HSCC 2003: Prague, Czech Republic

@proceedings{DBLP:conf/hybrid/2003,
  editor    = {Oded Maler and
               Amir Pnueli},
  title     = {Hybrid Systems: Computation and Control, 6th International Workshop,
               HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2623},
  year      = {2003},
  isbn      = {3-540-00913-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstracts of Invited Presentations

• David Berlinski:
  The Mathematics of Matter and the Mathematics of Mind. 1
  Electronic Edition (Springer LINK) BibTeX
• David Harel:
  A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal. 2
  Electronic Edition (Springer LINK) BibTeX
• Udi Peless:
  Developing Home Robotics Products: Challenges and Lessons Learned. 3
  Electronic Edition (Springer LINK) BibTeX

Regular Contributions

• Rajeev Alur, Thao Dang, Franjo Ivancic:
  Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction. 4-19
  Electronic Edition (Springer LINK) BibTeX
• Eugene Asarin, Thao Dang, Antoine Girard:
  Reachability Analysis of Nonlinear Systems Using Conservative Approximation . 20-35
  Electronic Edition (Springer LINK) BibTeX
• Adam Austin, Magnus Egerstedt:
  Mode Reconstruction for Source Coding and Multi-modal Control. 36-49
  Electronic Edition (Springer LINK) BibTeX
• Thomas Bak, Jan Bendtsen, Anders P. Ravn:
  Hybrid Control Design for a Wheeled Mobile Robot. 50-65
  Electronic Edition (Springer LINK) BibTeX
• 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. 66-80
  Electronic Edition (Springer LINK) BibTeX
• Alberto Bemporad, Pandeli Borodani, Massimo Mannelli:
  Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions. 81-96
  Electronic Edition (Springer LINK) BibTeX
• Alberto Bemporad, Andrea Garulli, Simone Paoletti, Antonio Vicino:
  A Greedy Approach to Identification of Piecewise Affine Models. 97-112
  Electronic Edition (Springer LINK) BibTeX
• Richard J. Boulton, Ruth Hardy, Ursula Martin:
  A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems. 113-125
  Electronic Edition (Springer LINK) BibTeX
• Manuela L. Bujorianu, John Lygeros:
  Reachability Questions in Piecewise Deterministic Markov Processes. 126-140
  Electronic Edition (Springer LINK) BibTeX
• 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. 141-155
  Electronic Edition (Springer LINK) BibTeX
• Jean-Guillaume Dumas, Aude Rondepierre:
  Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System. 156-171
  Electronic Edition (Springer LINK) BibTeX
• Nael H. El-Farra, Panagiotis D. Christofides:
  Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control Actuators. 172-187
  Electronic Edition (Springer LINK) BibTeX
• Giancarlo Ferrari-Trecate, Michael Schinkel:
  Conditions of Optimal Classification for Piecewise Affine Regression. 188-202
  Electronic Edition (Springer LINK) BibTeX
• Yan Gao, John Lygeros, Marc Quincampoix, Nicolas Seube:
  Approximate Stabilisation of Uncertain Hybrid Systems. 203-215
  Electronic Edition (Springer LINK) BibTeX
• Tobias Geyer, Fabio Danilo Torrisi, Manfred Morari:
  Efficient Mode Enumeration of Compositional Hybrid Systems. 216-232
  Electronic Edition (Springer LINK) BibTeX
• Ronojoy Ghosh, Ashish Tiwari, Claire Tomlin:
  Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata. 233-248
  Electronic Edition (Springer LINK) BibTeX
• W. P. M. H. Heemels, M. K. Çamlibel, A. J. van der Schaft, J. M. Schumacher:
  Modelling, Well-Posedness, Stability of Switched Electrical Networks. 249-266
  Electronic Edition (Springer LINK) BibTeX
• Hidde de Jong, Jean-Luc Gouzé, Céline Hernandez, Michel Page, Sari Tewfik, Johannes Geiselmann:
  Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach. 267-282
  Electronic Edition (Springer LINK) BibTeX
• James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg:
  On Systematic Simulation of Open Continuous Systems. 283-297
  Electronic Edition (Springer LINK) BibTeX
• Xenofon D. Koutsoukos, James Kurien, Feng Zhao:
  Estimation of Distributed Hybrid Systems Using Particle Filtering Methods. 298-313
  Electronic Edition (Springer LINK) BibTeX
• Andreas Kwiatkowski, Gerwald Lichtenberg, Axel Schild:
  Event Prediction for Switching Linear Systems with Time Varying Thresholds Using Orthogonal Functions. 314-327
  Electronic Edition (Springer LINK) BibTeX
• Jie Liu, Edward A. Lee:
  On the Causality of Mixed-Signal and Hybrid Models. 328-342
  Electronic Edition (Springer LINK) BibTeX
• Sayan Mitra, Yong Wang, Nancy A. Lynch, Eric Feron:
  Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata. 343-358
  Electronic Edition (Springer LINK) BibTeX
• Rainer Möbus, Mato Baotic, Manfred Morari:
  Multi-object Adaptive Cruise Control. 359-374
  Electronic Edition (Springer LINK) BibTeX
• Joël Ouaknine, James Worrell:
  Universality and Language Inclusion for Open and Closed Timed Automata. 375-388
  Electronic Edition (Springer LINK) BibTeX
• Luigi Palopoli, Luca Abeni, Giuseppe Lipari:
  On the Application of Hybrid Control to CPU Reservations. 389-404
  Electronic Edition (Springer LINK) BibTeX
• Bruno Picasso, Antonio Bicchi:
  Stabilization of LTI Systems with Quantized State - Quantized Input Static Feedback. 405-416
  Electronic Edition (Springer LINK) BibTeX
• Subramanian Ramamoorthy, Benjamin Kuipers:
  Qualitative Heterogeneous Control of Higher Order Systems. 417-434
  Electronic Edition (Springer LINK) BibTeX
• William C. Rounds, Hosung Song:
  The Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems. 435-449
  Electronic Edition (Springer LINK) BibTeX
• Matthew Senesky, Gabriel Eirea, Tak-John Koo:
  Hybrid Modelling and Control of Power Electronics. 450-465
  Electronic Edition (Springer LINK) BibTeX
• M. Shahid Shaikh, Peter E. Caines:
  On the Optimal Control of Hybrid Systems: Optimization of Trajectories, Switching Times, Location Schedules. 466-481
  Electronic Edition (Springer LINK) BibTeX
• Olaf Stursberg, Bruce H. Krogh:
  Efficient Representation and Computation of Reachable Sets for Hybrid Systems. 482-497
  Electronic Edition (Springer LINK) BibTeX
• Paulo Tabuada, George J. Pappas:
  Model Checking LTL over Controllable Linear Systems Is Decidable. 498-513
  Electronic Edition (Springer LINK) BibTeX
• Ashish Tiwari:
  Approximate Reachability for Linear Systems. 514-525
  Electronic Edition (Springer LINK) BibTeX
• René Vidal, Alessandro Chiuso, Stefano Soatto, Shankar Sastry:
  Observability of Linear Hybrid Systems. 526-539
  Electronic Edition (Springer LINK) BibTeX
• Xuping Xu, Panos J. Antsaklis:
  Results and Perspectives on Computational Methods for Optimal Control of Switched Systems. 540-555
  Electronic Edition (Springer LINK) BibTeX