Hybrid systems: computation and control. 2nd international workshop, HSCC '99. Berg en Dal, the Netherlands, March 29--31, 1999. Proceedings
type: Item
instance of: scholarly article
title: Hybrid systems: computation and control. 2nd international workshop, HSCC '99. Berg en Dal, the Netherlands, March 29--31, 1999. Proceedings
zbMATH Open document ID: 0911.00057
DOI: 10.1007/3-540-48983-5
published in: Lecture Notes in Computer Science
publication date: 1999-04-21T00:00:00Z
review text: 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}, Int…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 93-06
zbMATH DE Number: 1278174
zbMATH Keywords: Berg en Dal (Netherlands)
zbMATH Keywords: Workshop
zbMATH Keywords: Proceedings
zbMATH Keywords: HSCC '99
zbMATH Keywords: Hybrid systems
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-48983-5
OpenAlex ID: W197104890
description: scientific article; zbMATH DE number 1278174