Hybrid systems: computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3--5, 2003. Proceedings
type: Item
instance of: scholarly article
title: Hybrid systems: computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3--5, 2003. Proceedings
zbMATH Open document ID: 1017.00053
published in: Lecture Notes in Computer Science
publication date: 2003-07-29T00:00:00Z
full work available at URL: t2623.htm
review text: 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; Tr…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 93-06
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1955941
zbMATH Keywords: Hybrid systems
zbMATH Keywords: HSCC 2003
zbMATH Keywords: Prague (Czech Republic)
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1955941