Hybrid systems: computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3--5, 2003. Proceedings (Q1398133)

The articles of this volume will be reviewed individually. The preceding workshop has been reviewed (see Zbl 0989.00055). Indexed articles: \textit{Berlinski, David}, The mathematics of matter and the mathematics of mind, 1 [Zbl 1032.00502] \textit{Harel, David}, A grand challenge: Full reactive modeling of a multi-cellular animal, 2 [Zbl 1032.92501] \textit{Peless, Udi}, Developing home robotics products: Challenges and lessons learned, 3 [Zbl 1032.68775] \textit{Alur, Rajeev; Dang, Thao; Ivančić, Franjo}, Progress on reachability analysis of hybrid systems using predicate abstraction, 4-19 [Zbl 1032.93033] \textit{Asarin, Eugene; Dang, Thao; Girard, Antoine}, Reachability analysis of nonlinear systems using conservative approximation, 20-35 [Zbl 1032.93034] \textit{Austin, Adam; Egerstedt, Magnus}, Mode reconstruction for source coding and multi-modal control, 36-49 [Zbl 1032.93545] \textit{Bak, Thomas; Bendtsen, Jan; Ravn, Anders P.}, Hybrid control design for a wheeled mobile robot, 50-65 [Zbl 1032.93546] \textit{Barajas, L. G.; Kansal, A.; Saxena, A.; Egerstedt, M.; Goldstein, A.; Kamen, E. W.}, Modeling and control of SMT manufacturing lines using hybrid dynamic systems, 66-80 [Zbl 1032.93544] \textit{Bemporad, Alberto; Borodani, Pandeli; Mannelli, Massimo}, Hybrid control of an automotive robotized gearbox for reduction of consumptions and emissions, 81-96 [Zbl 1032.93547] \textit{Bemporad, Alberto; Garulli, Andrea; Paoletti, Simone; Vicino, Antonio}, A greedy approach to identification of piecewise affine models, 97-112 [Zbl 1032.93500] \textit{Boulton, Richard J.; Hardy, Ruth; Martin, Ursula}, A Hoare logic for single-input single-output continuous-time control systems, 113-125 [Zbl 1032.93529] \textit{Bujorianu, Manuela L.; Lygeros, John}, Reachability questions in piecewise deterministic Markov processes, 126-140 [Zbl 1032.93074] \textit{Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Minichino, Michele; Ciancamerla, Ester; Parisse, Andrea; Tronci, Enrico; Zilli, Marisa Venturini}, Automatic verification of a turbogas control system with the Mur\(\varphi\) verifier, 141-155 [Zbl 1032.93530] \textit{Dumas, Jean-Guillaume; Rondepierre, Aude}, Modeling the electrical activity of a neuron by a continuous and piecewise affine hybrid system, 156-171 [Zbl 1032.93531] \textit{El-Farra, Nael H.; Christofides, Panagiotis D.}, Hybrid control of parabolic PDEs: Handling faults of constrained control actuators, 172-187 [Zbl 1032.93026] \textit{Ferrari-Trecate, Giancarlo; Schinkel, Michael}, Conditions of optimal classification for piecewise affine regression, 188-202 [Zbl 1032.62500] \textit{Gao, Yan; Lygeros, John; Quincampoix, Marc; Seube, Nicolas}, Approximate stabilisation of uncertain hybrid systems, 203-215 [Zbl 1032.93059] \textit{Geyer, Tobias; Torrisi, Fabio Danilo; Morari, Manfred}, Efficient mode enumeration of compositional hybrid systems, 216-232 [Zbl 1032.93035] \textit{Ghosh, Ronojoy; Tiwari, Ashish; Tomlin, Claire}, Automated symbolic reachability analysis; with application to Delta-Notch signaling automata, 233-248 [Zbl 1032.92500] \textit{Heemels, W. P. M. H.; Çamlıbel, M. K.; van der Schaft, A. J.; Schumacher, J. M.}, Modelling, well-posedness, and stability of switched electrical networks, 249-266 [Zbl 1032.93501] \textit{de Jong, Hidde; Gouzé, Jean-Luc; Hernandez, Céline; Page, Michel; Sari, Tewfik; Geiselmann, Johannes}, Hybrid modeling and simulation of genetic regulatory networks: A qualitative approach, 267-282 [Zbl 1032.92505] \textit{Kapinski, Jim; Krogh, Bruce H.; Maler, Oded; Stursberg, Olaf}, On systematic simulation of open continuous systems, 283-297 [Zbl 1032.93532] \textit{Koutsoukos, Xenofon; Kurien, James; Zhao, Feng}, Estimation of distributed hybrid systems using particle filtering methods, 298-313 [Zbl 1032.68509] \textit{Kwiatkowski, Andreas; Lichtenberg, Gerwald; Schild, Axel}, Event prediction for switching linear systems with time varying thresholds using orthogonal functions, 314-327 [Zbl 1032.93533] \textit{Liu, Jie; Lee, Edward A.}, On the causality of mixed-signal and hybrid models, 328-342 [Zbl 1032.93534] \textit{Mitra, Sayan; Wang, Yong; Lynch, Nancy; Feron, Eric}, Safety verification of model helicopter controller using hybrid input/output automata, 343-358 [Zbl 1032.93535] \textit{Möbus, Rainer; Baotic, Mato; Morari, Manfred}, Multi-object adaptive cruise control, 359-374 [Zbl 1032.93548] \textit{Ouaknine, Joël; Worrell, James}, Universality and language inclusion for open and closed timed automata, 375-388 [Zbl 1032.68096] \textit{Palopoli, Luigi; Abeni, Luca; Lipari, Giuseppe}, On the application of hybrid control to CPU reservations, 389-404 [Zbl 1032.68030] \textit{Picasso, Bruno; Bicchi, Antonio}, Stabilization of LTI systems with quantized state-quantized input static feedback, 405-416 [Zbl 1032.93023] \textit{Ramamoorthy, Subramanian; Kuipers, Benjamin}, Qualitative heterogeneous control of higher order systems, 417-434 [Zbl 1032.93536] \textit{Rounds, William C.; Song, Hosung}, The \(\Phi\)-calculus: A language for distributed control of reconfigurable embedded systems, 435-449 [Zbl 1032.93036] \textit{Senesky, Matthew; Eirea, Gabriel; Koo, T. John}, Hybrid modelling and control of power electronics, 450-465 [Zbl 1032.93502] \textit{Shaikh, M. Shahid; Caines, Peter E.}, On the optimal control of hybrid systems: Optimization of trajectories, switching times, and location schedules, 466-481 [Zbl 1038.49033] \textit{Stursberg, Olaf; Krogh, Bruce H.}, Efficient representation and computation of reachable sets for hybrid systems, 482-497 [Zbl 1032.93037] \textit{Tabuada, Paulo; Pappas, George J.}, Model checking LTL over controllable linear systems is decidable, 498-513 [Zbl 1032.68104] \textit{Tiwari, Ashish}, Approximate reachability for linear systems, 514-525 [Zbl 1032.93518] \textit{Vidal, René; Chiuso, Alessandro; Soatto, Stefano; Sastry, Shankar}, Observability of linear hybrid systems, 526-539 [Zbl 1032.93024] \textit{Xu, Xuping; Antsaklis, Panos J.}, Results and perspectives on computational methods for optimal control of switched systems, 540-555 [Zbl 1038.49034]