Hybrid systems: computation and control. 5th international workshop, HSCC 2002, Stanford, CA, USA, March 25--27, 2002. Proceedings
type: Item
instance of: scholarly article
title: Hybrid systems: computation and control. 5th international workshop, HSCC 2002, Stanford, CA, USA, March 25--27, 2002. Proceedings
zbMATH Open document ID: 0989.00055
published in: Lecture Notes in Computer Science
publication date: 2002-06-26T00:00:00Z
review text: The articles of mathematical interest will be reviewed individually. The 3rd workshop 2000 has been reviewed (see Zbl 0934.00029). Indexed articles: \textit{Sharp, David}, Hybrid and embedded software technologies for production large-scale systems, 1-2 [Zbl 1044.68927] \textit{Ascher, Uri M.}, Numerical methods for differential systems with algebraic equality and inequality constraints, 3 [Zbl 1044.93512] \textit{Henzinger, Thomas A.}, From models to code: The missing link in embedded software, 5-6 [Zbl 1044.68563] \textit{Aaron, Eric; Ivančić, Franjo; Metaxas, Dimitris}, Hybrid system models of navigation strategies for games and animations, 7-20 [Zbl 1044.68888] \textit{Altafini, Claudio; Speranzon, Alberto; Johansson, Karl Henrik}, Hybrid control of a truck and trailer vehicle, 21-34 [Zbl 1044.93533] \textit{Alur, Rajeev; Dang, Thao; Ivančić, Franjo}, Reachability analysis of hybrid systems via predicate abstraction, 35-48 [Zbl 1044.93517] \textit{Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio}, Towards computing phase portraits of polygonal differential inclusions, 49-61 [Zbl 1054.93030] \textit{Aubin, Jean-Pierre; Dordan, Olivier}, Dynamical qualitative analysis of evolutionary systems, 62-75 [Zbl 1059.49006] \textit{Balluchi, Andrea; Benvenuti, Luca; Di Benedetto, Maria D.; Sangiovanni-Vincentelli, Alberto L.}, Design of observers for hybrid systems, 76-89 [Zbl 1050.93040] \textit{Bayen, Alexandre M.; Crück, Eva; Tomlin, Claire J.}, Guaranteed overapproximations of unsafe sets for continuous and hybrid systems: Solving the Hamilton-Jacobi equation using viability techniques, 90-104 [Zbl 1046.49026] \textit{Bemporad, Alberto; Borrelli, Francesco; Morari, Manfred}, On the optimal control law for linear discrete time hybrid systems, 105-119 [Zbl 1046.49019] \textit{Branicky, Michael S.; Chhatpar, Siddharth R.}, A computational framework for the verification and synthesis of force-guided robotic assembly strategies, 120-133 [Zbl 1044.93534] \textit{Cassez, Fr…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 93-06
zbMATH DE Number: 1760798
zbMATH Keywords: Stanford, CA (USA)
zbMATH Keywords: Proceedings
zbMATH Keywords: Workshop
zbMATH Keywords: HSCC 2002
zbMATH Keywords: Hybrid system
MaRDI profile type: Publication
Recommended article: Hybrid systems: computation and control. 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9--11, 2005. Proceedings
Recommended article: Hybrid systems. Computation and control. 1st international workshop, HSCC '98, Berkeley, CA, USA, April 13--15, 1998. Proceedings
Recommended article: Hybrid systems: computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29--31, 2006. Proceedings.
Recommended article: Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23--25, 2000. Proceedings
Recommended article: Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25--27, 2004. Proceedings.
Recommended article: Hybrid systems: computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13--15, 2009. Proceedings
Recommended article: Hybrid systems: computation and control. 11th international workshop, HSCC 2008, St. Louis, MO, USA, April 22--24, 2008. Proceedings
Recommended article: Hybrid systems: computation and control. 4th international workshop, HSCC 2001, Rome, Italy, March 28--30, 2001. Proceedings
Recommended article: Hybrid systems: computation and control. 2nd international workshop, HSCC '99. Berg en Dal, the Netherlands, March 29--31, 1999. Proceedings
Recommended article: Hybrid systems: computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3--5, 2003. Proceedings
description: scientific article; zbMATH DE number 1760798