Hybrid systems: computation and control. 2nd international workshop, HSCC '99. Berg en Dal, the Netherlands, March 29--31, 1999. Proceedings (Q1284358): Difference between revisions

The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Alur, Rajeev; Kannan, Sampath; La Torre, Salvatore}, Polyhedral flows in hybrid automata, 5-18 [Zbl 0924.93016] \textit{Asarin, Eugene; Maler, Oded}, As soon as possible: Time optimal control for timed automata, 19-30 [Zbl 0952.93064] \textit{Bemporad, Alberto; Morari, Manfred}, Verification of hybrid systems via mathematical programming, 31-45 [Zbl 0954.93019] \textit{Bournez, Olivier; Maler, Oded; Pnueli, Amir}, Orthogonal polyhedra: Representation and computation, 46-60 [Zbl 0947.68154] \textit{Broucke, Mireille}, A geometric approach to bisimulation and verification of hybrid systems, 61-75 [Zbl 0928.93024] \textit{Chutinan, Alongkrit; Krogh, Bruce H.}, Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations, 76-90 [Zbl 0954.93020] \textit{Egerstedt, M.; Koo, T. J.; Hoffmann, F.; Sastry, S.}, Path planning and flight controller scheduling for an autonomous helicopter, 91-102 [Zbl 0925.93745] \textit{Greenstreet, Mark R.; Mitchell, Ian}, Reachability analysis using polygonal projections, 103-116 [Zbl 1038.93509] \textit{Hespanha, João P.; Morse, A. Stephen}, Scale-independent hysteresis switching, 117-122 [Zbl 0991.93059] \textit{Imura, Jun-ichi; van der Schaft, Arjan}, Well-posedness of a class of piecewise linear systems with no jumps, 123-136 [Zbl 0928.93013] \textit{Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio}, A new class of decidable hybrid systems, 137-151 [Zbl 0926.93036] \textit{Lin, Man}, Synthesis of control software in a layered architecture from hybrid automata, 152-164 [Zbl 0954.93024] \textit{Mosterman, Pieter J.}, An overview of hybrid simulation phenomena and their support by simulation packages, 165-177 [Zbl 0925.93118] \textit{Mosterman, Pieter J.; Biswas, Gautam}, Building hybrid observers for complex dynamic systems using model abstractions, 178-192 [Zbl 0925.93098] \textit{Nadjm-Tehrani, Simin}, Integration of analog and discrete synchronous design, 193-208 [Zbl 0925.93272] \textit{Preußig, J.; Stursberg, O.; Kowalewski, S.}, Reachability analysis of a class of switched continuous systems by integrating rectangular approximation and rectangular analysis, 209-222 [Zbl 0925.93117] \textit{Rönkkö, Mauno; Sere, Kaisa}, Refinement and continuous behaviour, 223-237 [Zbl 0930.68030] \textit{Tomlin, Claire; Lygeros, John; Sastry, Shankar}, Computing controllers for nonlinear hybrid systems, 238-255 [Zbl 0951.93012] \textit{Yfoulis, C. A.; Muir, A.; Wellstead, P. E.; Pettit, N. B. O. L.}, Stabilization of orthogonal piecewise linear systems: robustness analysis and design, 256-270 [Zbl 0924.93040]