Hybrid systems: computation and control. 5th international workshop, HSCC 2002, Stanford, CA, USA, March 25--27, 2002. Proceedings (Q1601522)

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, Franck; Henzinger, Thomas A.; Raskin, Jean-François}, A comparison of control problems for timed and hybrid systems, 134-148 [Zbl 1044.93518] \textit{Davoren, J. M.; Moor, T.; Nerode, A.}, Hybrid control loops, A/D maps, and dynamic specifications, 149-163 [Zbl 1049.93048] \textit{El-Farra, Nael H.; Christofides, Panagiotis D.}, Switching and feedback laws for control of constrained switched nonlinear systems, 164-178 [Zbl 1044.93515] \textit{Elia, Nicola; Frazzoli, Emilio}, Quantized stabilization of two-input linear systems: A lower bound on the minimal quantization density, 179-193 [Zbl 1052.93051] \textit{Ferrari-Trecate, Giancarlo; Cuzzola, Francesco A.; Morari, Manfred}, Analysis of discrete-time PWA systems with logic states, 194-208 [Zbl 1049.93049] \textit{Ferrari-Trecate, Giancarlo; Gallestey, Eduardo; Letizia, Paolo; Spedicato, Matteo; Morari, Manfred; Antoine, Marc}, Modeling and control of co-generation power plants: A hybrid system approach, 209-224 [Zbl 1044.93536] \textit{Goldman, Robert P.; Musliner, David J.; Pelican, Michael J. S.}, Exploiting implicit representations in timed automaton verification for controller synthesis, 225-238 [Zbl 1044.93519] \textit{Hespanha, João P.}, Computation of root-mean-square gains of switched linear systems, 239-252 [Zbl 1049.93050] \textit{Hofbaur, Michael W.; Williams, Brian C.}, Mode estimation of probabilistic hybrid systems, 253-266 [Zbl 1060.93054] \textit{Hu, Jianghai; Sastry, Shankar}, Symmetry reduction of a class of hybrid systems, 267-280 [Zbl 1046.49027] \textit{Koo, T. John; Sastry, Shankar}, Bisimulation based hierarchical system architecture for single-agent multi-modal systems, 281-293 [Zbl 1044.93502] \textit{Kuipers, Benjamin; Ramamoorthy, Subramanian}, Qualitative modeling and heterogeneous control of global system behavior, 294-307 [Zbl 1060.93010] \textit{Narasimhan, Sriram; Biswas, Gautam}, An approach to model-based diagnosis of hybrid systems, 308-322 [Zbl 1044.93520] \textit{Neller, Todd W.}, Information-based alpha-beta search and the homicidal chauffeur, 323-336 [Zbl 1044.68787] \textit{Palopoli, Luigi; Pinello, Claudio; Vincentelli, Alberto Sangiovanni; Elghaoui, Laurent; Bicchi, Antonio}, Synthesis of robust control systems under resource constraints, 337-350 [Zbl 1081.93509] \textit{Pancanti, Stefania; Leonardi, Laura; Pallottino, Lucia; Bicchi, Antonio}, Optimal control of quantized input systems, 351-363 [Zbl 1044.93516] \textit{Pasternak, Tal}, Reconfiguration in hierarchical control of piecewise-affine systems, 364-377 [Zbl 1044.93521] \textit{Saint-Pierre, Patrick}, Hybrid kernels and capture basins for impulse constrained systems, 378-392 [Zbl 1050.93041] \textit{Sethian, James A.; Vladimirsky, Alexander}, Ordered upwind methods for hybrid control, 393-406 [Zbl 1050.93042] \textit{Stauner, Thomas}, Discrete-time refinement of hybrid automata, 407-420 [Zbl 1044.93522] \textit{Stursberg, Olaf; Panek, Sebastian}, Control of switched hybrid systems based on disjunctive formulations, 421-435 [Zbl 1046.49029] \textit{Tabuada, Paulo; Pappas, George J.; Lima, Pedro}, Composing abstractions of hybrid systems, 436-450 [Zbl 1050.93043] \textit{Tan, Xiaobo; Baras, John S.}, Optimal control of hysteresis in smart actuators: A viscosity solutions approach, 451-464 [Zbl 1044.82021] \textit{Tiwari, Ashish; Khanna, Gaurav}, Series of abstractions for hybrid automata, 465-478 [Zbl 1044.93523]