Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23--25, 2000. Proceedings
type: Item
instance of: scholarly article
title: Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23--25, 2000. Proceedings
zbMATH Open document ID: 0934.00029
DOI: 10.1007/3-540-46430-1
published in: Lecture Notes in Computer Science
publication date: 2000-04-05T00:00:00Z
review text: The articles of mathematical interest will be reviewed individually. The preceding workshop (2nd, 1999) has been indicated (see Zbl 0911.00057). Indexed articles: \textit{Butts, Ken}, Hybrid models for automotive powertrain systems: Revisiting a vision, 1-2 [Zbl 0938.93597] \textit{Leveson, Nancy G.}, Experiences in designing and using formal specification languages for embedded control software, 3 [Zbl 0938.93572] \textit{Williams, Brian}, Model-based autonomous systems for robotic space exploration, 4 [Zbl 0938.93586] \textit{Sangiovanni-Vincentelli, Alberto}, Models of computation and simulation of hybrid systems, 5 [Zbl 0938.93555] \textit{Alur, Rajeev; Grosu, Radu; Hur, Yerang; Kumar, Vijay; Lee, Insup}, Modular specification of hybrid systems in Charon, 6-19 [Zbl 0992.93040] \textit{Asarin, Eugene; Bournez, Olivier; Dang, Thao; Maler, Oded}, Approximate reachability analysis of piecewise-linear dynamical systems, 20-31 [Zbl 0938.93502] \textit{Balluchi, Andrea; Benvenuti, Luca; Di Benedetto, Maria D.; Miconi, Guido M.; Pozzi, Ugo; Villa, Tiziano; Wong-Toi, Howard; Sangiovanni-Vincentelli, Alberto L.}, Maximal safe set computation for idle speed control of an automatic engine, 32-44 [Zbl 0962.93070] \textit{Bemporad, Alberto; Torrisi, Fabio Danilo; Morari, Manfred}, Optimization-based verification and stability characterization of piecewise affine and hybrid systems, 45-58 [Zbl 0939.93523] \textit{Berardi, Luca; De Santis, Elena; Di Benedetto, Maria Domenica}, Invariant sets and control synthesis for switching systems with safety specifications, 59-72 [Zbl 0954.93018] \textit{Botchkarev, Oleg; Tripakis, Stavros}, Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations., 73-88 [Zbl 1037.93510] \textit{Broucke, Mireille; Di Benedetto, Maria Domenica; Di Gennaro, Stefano; Sangiovanni-Vincentelli, Alberto}, Theory of optimal control using bisimulations, 89-102 [Zbl 0963.93059] \textit{Egerstedt, Magnus}, Behavior based ro…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 93-06
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1427875
zbMATH Keywords: Pittsburgh, PA (USA)
zbMATH Keywords: Proceedings
zbMATH Keywords: Workshop
zbMATH Keywords: HSCC 2000
zbMATH Keywords: Hybrid systems
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-46430-1
OpenAlex ID: W132366648
description: scientific article; zbMATH DE number 1427875