Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23--25, 2000. Proceedings (Q1975128)

The articles of mathematical interest will be reviewed individually. The preceding workshop (2nd, 1999) has been indicated (see Zbl 0911.00057). Indexed articles: \textit{Butts, Ken}, Hybrid models for automotive powertrain systems: Revisiting a vision, 1-2 [Zbl 0938.93597] \textit{Leveson, Nancy G.}, Experiences in designing and using formal specification languages for embedded control software, 3 [Zbl 0938.93572] \textit{Williams, Brian}, Model-based autonomous systems for robotic space exploration, 4 [Zbl 0938.93586] \textit{Sangiovanni-Vincentelli, Alberto}, Models of computation and simulation of hybrid systems, 5 [Zbl 0938.93555] \textit{Alur, Rajeev; Grosu, Radu; Hur, Yerang; Kumar, Vijay; Lee, Insup}, Modular specification of hybrid systems in Charon, 6-19 [Zbl 0992.93040] \textit{Asarin, Eugene; Bournez, Olivier; Dang, Thao; Maler, Oded}, Approximate reachability analysis of piecewise-linear dynamical systems, 20-31 [Zbl 0938.93502] \textit{Balluchi, Andrea; Benvenuti, Luca; Di Benedetto, Maria D.; Miconi, Guido M.; Pozzi, Ugo; Villa, Tiziano; Wong-Toi, Howard; Sangiovanni-Vincentelli, Alberto L.}, Maximal safe set computation for idle speed control of an automatic engine, 32-44 [Zbl 0962.93070] \textit{Bemporad, Alberto; Torrisi, Fabio Danilo; Morari, Manfred}, Optimization-based verification and stability characterization of piecewise affine and hybrid systems, 45-58 [Zbl 0939.93523] \textit{Berardi, Luca; De Santis, Elena; Di Benedetto, Maria Domenica}, Invariant sets and control synthesis for switching systems with safety specifications, 59-72 [Zbl 0954.93018] \textit{Botchkarev, Oleg; Tripakis, Stavros}, Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations., 73-88 [Zbl 1037.93510] \textit{Broucke, Mireille; Di Benedetto, Maria Domenica; Di Gennaro, Stefano; Sangiovanni-Vincentelli, Alberto}, Theory of optimal control using bisimulations, 89-102 [Zbl 0963.93059] \textit{Egerstedt, Magnus}, Behavior based robotics using hybrid automata, 103-116 [Zbl 0938.93585] \textit{Gokbayrak, Kagan; Cassandras, Christos G.}, Hybrid controllers for hierarchically decomposed systems, 117-129 [Zbl 0953.93007] \textit{Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak; Wong-Toi, Howard}, Beyond HyTech: Hybrid systems analysis using interval numerical methods, 130-144 [Zbl 0938.93552] \textit{Henzinger, Thomas A.; Raskin, Jean-François}, Robust undecidability of timed and hybrid systems, 145-159 [Zbl 0944.93018] \textit{Hu, Jianghai; Lygeros, John; Sastry, Shankar}, Towards a theory of stochastic hybrid systems, 160-173 [Zbl 0962.93082] \textit{Klavins, Eric}, Automatic compilation for concurrent hybrid factories from product assembly specifications, 174-187 [Zbl 0956.90007] \textit{Koutsoukos, Xenofon D.; Antsaklis, Panos J.}, A hybrid feedback regulator approach to control an automotive suspension system, 188-201 [Zbl 0952.93097] \textit{Kurzhanski, Alexander B.; Varaiya, Pravin}, Ellipsoidal techniques for reachability analysis, 202-214 [Zbl 0962.93009] \textit{Lafferriere, Gerardo; Miller, Chris}, Uniform reachability algorithms, 215-228 [Zbl 0951.93004] \textit{Lemmon, Michael}, On the existence of solutions to controlled hybrid automata, 229-242 [Zbl 0953.93050] \textit{Liberzon, Daniel}, Nonlinear stabilization by hybrid quantized feedback, 243-257 [Zbl 0952.93109] \textit{Lunze, J.}, Diagnosis of quantised systems by means of timed discrete-event representations, 258-271 [Zbl 0944.93022] \textit{Matveev, Alexey S.; Savkin, Andrey V.}, Existence and stability of limit cycles in switched single server flow networks modelled as hybrid dynamical systems, 272-281 [Zbl 0956.90004] \textit{McIlraith, Sheila; Biswas, Gautam; Clancy, Dan; Gupta, Vineet}, Hybrid systems diagnosis, 282-295 [Zbl 0938.93553] \textit{Miller, Joseph S.}, Decidability and complexity results for timed automata and semi-linear hybrid automta, 296-309 [Zbl 0992.93050] \textit{Mitchell, Ian; Tomlin, Claire J.}, Level set methods for computation in hybrid systems, 310-323 [Zbl 0952.93006] \textit{Mosterman, Pieter J.; Biswas, Gautam}, Towards procedures for systematically deriving hybrid models of complex systems, 324-337 [Zbl 0953.93008] \textit{Niebert, Peter; Yovine, Sergio}, Computing optimal operation schemes for chemical plants in multi-batch mode, 338-351 [Zbl 0984.93061] \textit{Nonnengart, Andreas}, Hybrid systems verification by location elimination, 352-365 [Zbl 0938.93554] \textit{Pavlović, Vladimir; Rehg, James M.; Cham, Tat-Jen}, A dynamic Bayesian network approach to tracking using learned switching dynamic models, 366-380 [Zbl 0938.93610] \textit{Petterson, Stefan; Lennartson, Bengt}, Stability of hybrid systems using LMIs -- a gear-box application, 381-395 [Zbl 0981.93033] \textit{Roll, Jacob}, Invariance of approximating automata for piecewise linear systems with uncertainties, 396-406 [Zbl 0938.93516] \textit{Shakernia, Omid; Pappas, George J.; Sastry, Shankar}, Decidable controller synthesis for classes of linear systems, 407-420 [Zbl 0944.93010] \textit{Simić, Slobodan N.; Johansson, Karl Henrik; Sastry, Shankar; Lygeros, John}, Towards a geometric theory of hybrid systems, 421-436 [Zbl 0963.93044] \textit{Vidal, René; Schaffert, Shawn; Lygeros, John; Sastry, Shankar}, Controlled invariance of discrete time systems, 437-450 [Zbl 0954.93022] \textit{Zhang, Jun; Johansson, Karl Henrik; Lygeros, John; Sastry, Shankar}, Dynamical systems revisited: Hybrid systems with Zeno executions, 451-464 [Zbl 0982.93046]