Hybrid systems V. 5th international Hybrid systems workshop held in Notre Dame, IN, USA, September 11--13, 1997. Proceedings (Q1277675)

The articles of this volume will be reviewed individually. The second workshop (1994) has been announced (Zbl 0875.00062). Indexed articles: \textit{Chen, Haoxun; Hanisch, Hans-Michael}, Control synthesis of hybrid systems based on predicate invariance, 1-15 [Zbl 0928.93025] \textit{Chutinan, Alongkrit; Krogh, Bruce H.}, Computing approximating automata for a class of linear hybrid systems, 16-37 [Zbl 0928.93026] \textit{Davoren, J. M.}, On hybrid systems and the modal \(\mu\)-calculus, 38-69 [Zbl 0928.93027] \textit{De Schutter, Bart; De Moor, Bart}, The extended linear complementarity problem and the modeling and analysis of hybrid systems, 70-85 [Zbl 0931.93036] \textit{Ferreira, Enrique D.; Krogh, Bruce H.}, Controller scheduling using neural networks: Implementation and experimental results, 86-99 [Zbl 0925.93433] \textit{Gao, Jianping; Xu, Qiwen}, Rigorous design of a fault diagnosis and isolation algorithm, 100-121 [Zbl 0926.93030] \textit{Kohn, Wolf; Nerode, Anil; Remmel, Jeffrey B.}, Scalable data and sensor fusion via multiple agent hybrid systems, 122-141 [Zbl 0928.93028] \textit{Koutsoukos, Xenofon D.; Antsaklis, Panos J.}, Hybrid control systems using timed Petri nets: Supervisory control design based on invariant properties, 142-162 [Zbl 0961.93503] \textit{Kowalewski, S.; Stursberg, O.; Fritz, M.; Graf, H.; Hoffmann, I.; Preußig, J.; Remelhe, M.; Simon, S.; Treseler, H.}, A case study in tool-aided analysis of discretely controlled continuous systems: The two tanks problem, 163-185 [Zbl 0925.93746] \textit{Lafferriere, Gerardo; Pappas, George J.; Sastry, Shankar}, Hybrid systems with finite bisimulations, 186-203 [Zbl 0942.93015] \textit{Lemmon, Michael; Bett, Christopher J.}, Extracting stable timed automata from switched model reference systems, 204-217 [Zbl 0929.93017] \textit{Mosterman, Pieter J.; Zhao, Feng; Biswas, Gautam}, Sliding mode model semantics and simulation for hybrid systems, 218-237 [Zbl 0925.93432] \textit{Nadjm-Tehrani, Simin}, Time-deterministic hybrid transition systems, 238-250 [Zbl 0926.93037] \textit{Neller, Todd W.}, Heuristic optimization and dynamical system safety verification, 251-261 [Zbl 0948.93511] \textit{Parisini, T.; Sacone, S.}, A hybrid receding-horizon control scheme for nonlinear discrete-time systems, 262-278 [Zbl 0927.93033] \textit{Raisch, Jörg; Klein, Eberhard; O'Young, Siu; Meder, Christian; Itigin, Alexander}, Approximating automata and discrete control for continuous systems -- two examples from process control, 279-303 [Zbl 0928.93018] \textit{Rönkkö, Mauno; Ravn, Anders P.}, Action systems with continuous behaviour, 304-323 [Zbl 0986.93006] \textit{Seibel, Conrado W.; Farines, Jean-Marie; Cury, José E. R.}, Towards using hybrid automata for the mission planning of unmanned aerial vehicles, 324-340 [Zbl 0925.93747] \textit{Skafidas, E.; Evans, R. J.; Mareels, I. M. Y.; Nerode, A.}, Optimal controller switching for stochastic systems, 341-355 [Zbl 0936.93051] \textit{Wang, Le Yi; Khargonekar, Pramod P.; Beydoun, Ali}, Robust control of hybrid systems: Performance guided strategies, 356-389 [Zbl 0946.93027] \textit{Wong-Toi, Howard}, Analysis of slope-parametric rectangular automata, 390-413 [Zbl 0927.93034] \textit{Yu, Xinyao; Chen, Zongji}, Control of interval temporal systems, 414-428 [Zbl 0928.93029] \textit{Zhao, Feng; Loh, Shiou C.; May, Jeff A.}, Phase-space nonlinear control toolbox: The Maglev experience, 429-444 [Zbl 0925.93009]