Hybrid systems: computation and control. 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9--11, 2005. Proceedings (Q2388716)

The articles of this volume will be reviewed individually. The preceding workshop has been reviewed (see Zbl 1046.93002). Indexed articles: \textit{Fromherz, Markus P. J.; Crawford, Lara S.; Hindi, Haitham A.}, Coordinated control for highly reconfigurable systems, 1-24 [Zbl 1078.93549] \textit{Lee, Edward A.; Zheng, Haiyang}, Operational semantics of hybrid systems, 25-53 [Zbl 1078.93535] \textit{Parrilo, Pablo A.}, SOS methods for semi-algebraic games and optimization, 54 [Zbl 1078.68831] \textit{Agrawal, Manindra; Thiagarajan, P. S.}, The discrete time behavior of lazy linear hybrid automata, 55-69 [Zbl 1078.68069] \textit{Alur, Rajeev; La Torre, Salvatore; Madhusudan, P.}, Perturbed timed automata, 70-85 [Zbl 1078.68070] \textit{Ames, Aaron D.; Sastry, Shankar}, A homology theory for hybrid systems: Hybrid homology, 86-102 [Zbl 1078.93014] \textit{Babaali, Mohamed; Pappas, George J.}, Observability of switched linear systems in continuous time, 103-117 [Zbl 1078.93012] \textit{Balluchi, Andrea; Murrieri, Pierpaolo; Sangiovanni-Vincentelli, Alberto L.}, Controller synthesis on non-uniform and uncertain discrete-time domains, 118-133 [Zbl 1078.93523] \textit{Batt, Grégory; Ropers, Delphine; de Jong, Hidde; Geiselmann, Johannes; Page, Michel; Schneider, Dominique}, Qualitative analysis and verification of hybrid models of genetic regulatory networks: Nutritional stress response in \textit{Escherichia coli}, 134-150 [Zbl 1078.93555] \textit{Bemporad, Alberto; Di Cairano, Stefano}, Optimal control of discrete hybrid stochastic automata, 151-167 [Zbl 1078.93573] \textit{Borrelli, Francesco; Keviczky, Tamás; Balas, Gary J.; Stewart, Greg; Fregene, Kingsley; Godbole, Datta}, Hybrid decentralized control of large scale systems, 168-183 [Zbl 1078.93532] \textit{Buisson, Jean; Richard, Pierre-Yves; Cormerais, Hervé}, On the stabilisation of switching electrical power converters, 184-197 [Zbl 1078.93556] \textit{Bujorianu, Manuela L.; Lygeros, John; Bujorianu, Marius C.}, Bisimulation for general stochastic hybrid systems, 198-214 [Zbl 1078.93062] \textit{Chareyron, Sophie; Wieber, Pierre-Brice}, Position and force control of nonsmooth Lagrangian dynamical systems without friction, 215-225 [Zbl 1078.70022] \textit{Del Vecchio, Domitilla; Murray, Richard M.}, Existence of cascade discrete-continuous state estimators for systems on a partial order, 226-241 [Zbl 1078.93040] \textit{Fehnker, Ansgar; Clarke, Edmund; Jha, Sumit Kumar; Krogh, Bruce}, Refining abstractions of hybrid systems using counterexample fragments, 242-257 [Zbl 1078.93041] \textit{Frehse, Goran}, PHAVer: Algorithmic verification of hybrid systems past HyTech, 258-273 [Zbl 1078.93533] \textit{Geyer, Tobias; Papafotiou, Georgios}, Direct torque control for induction motor drives: A model predictive control approach based on feasibility, 274-290 [Zbl 1078.93558] \textit{Girard, Antoine}, Reachability of uncertain linear systems using zonotopes, 291-305 [Zbl 1078.93005] \textit{Glavaski, Sonja; Papachristodoulou, Antonis; Ariyur, Kartik}, Safety verification of controlled advanced life support system using barrier certificates, 306-321 [Zbl 1078.93559] \textit{Hespanha, João Pedro}, Polynomial stochastic hybrid systems, 322-338 [Zbl 1078.93063] \textit{Hiskens, Ian A.}, Non-uniqueness in reverse time of hybrid system trajectories, 339-353 [Zbl 1078.93042] \textit{Juloski, Aleksandar Lj.; Heemels, W. P. M. H.; Ferrari-Trecate, Giancarlo; Vidal, René; Paoletti, Simone; Niessen, J. H. G.}, Comparison of four procedures for the identification of hybrid systems, 354-369 [Zbl 1078.93534] \textit{Kumar, Rajesh; Krogh, Bruce H.; Feiler, Peter}, An ontology-based approach to heterogeneous verification of embedded control systems, 370-385 [Zbl 1078.68666] \textit{Labbani, Ouassila; Dekeyser, Jean-Luc; Boulet, Pierre}, Mode-automata based methodology for Scade, 386-401 [Zbl 1078.68601] \textit{Lanotte, Ruggero; Tini, Simone}, Taylor approximation for hybrid systems, 402-416 [Zbl 1078.93044] \textit{Lazar, Mircea; Heemels, W. P. M. H.; Weiland, Siep; Bemporad, Alberto; Pastravanu, Octavian}, Infinity norms as Lyapunov functions for model predictive control of constrained PWA systems, 417-432 [Zbl 1078.93045] \textit{Lecchini, Andrea; Glover, William; Lygeros, John; Maciejowski, Jan}, Air-traffic control in approach sectors: Simulation examples and optimisation, 433-448 [Zbl 1078.93560] \textit{Ma, Yi; Vidal, René}, Identification of deterministic switched ARX systems via identification of algebraic varieties, 449-465 [Zbl 1078.93018] \textit{Mehta, Tejas R.; Egerstedt, Magnus}, Learning multi-modal control programs, 466-479 [Zbl 1078.93525] \textit{Mitchell, Ian M.; Templeton, Jeremy A.}, A toolbox of Hamilton-Jacobi solvers for analysis of nondeterministic continuous and hybrid systems, 480-494 [Zbl 1078.93522] \textit{Nakamura, Katsunori; Fusaoka, Akira}, On transfinite hybrid automata, 495-510 [Zbl 1078.93015] \textit{Niederberger, Dominik}, Design of optimal autonomous switching circuits to suppress mechanical vibration, 511-525 [Zbl 1078.93562] \textit{Pinto, Alessandro; Sangiovanni-Vincentelli, Alberto L.; Carloni, Luca P.; Passerone, Roberto}, Interchange formats for hybrid systems: Review and proposal, 526-541 [Zbl 1078.93563] \textit{Prajna, Stephen; Rantzer, Anders}, Primal-dual tests for safety and reachability, 542-556 [Zbl 1078.93507] \textit{Raffard, Robin L.; Hu, Jianghai; Tomlin, Claire J.}, Adjoint-based optimal control of the expected exit time for stochastic hybrid systems, 557-572 [Zbl 1078.93064] \textit{Ratschan, Stefan; She, Zhikun}, Safety verification of hybrid systems by constraint propagation based abstraction refinement, 573-589 [Zbl 1078.93508] \textit{Rodríguez-Carbonell, Enric; Tiwari, Ashish}, Generating polynomial invariants for hybrid systems, 590-605 [Zbl 1078.93026] \textit{Roozbehani, Mardavij; Feron, Eric; Megrestki, Alexandre}, Modeling, optimization and computation for software verification, 606-622 [Zbl 1078.68019] \textit{Strubbe, Stefan; van der Schaft, Arjan}, Bisimulation for communicating piecewise deterministic Markov processes (CPDPs), 623-639 [Zbl 1078.93065] \textit{Tabuada, Paulo}, Sensor/actuator abstractions for symbolic embedded control design, 640-654 [Zbl 1078.93526] \textit{Wang, Yan; Sun, Zeng Qi; Sun, Fu Chun}, Modeling and control of networked control systems with random delays, 655-666 [Zbl 1078.93527] \textit{Xie, Guangming; Wang, Long}, Controllability implies stabilizability for discrete-time switched linear systems, 667-682 [Zbl 1078.93037]