Analysis and design of hybrid systems 2006 [electronic resource] : a proceedings volume from the 2nd IFAC Conference, 7-9 June, 2006, Alghero, Italy / edited by Christos Cassandras [and others].
- Conference Author:
- ADHS 06 (2006 : Alghero, Italy)
- Published:
- Oxford : Elsevier for International Federation of Automatic Control, 2006.
- Edition:
- 1st ed.
- Physical Description:
- xi, 424 pages : illustrations ; 30 cm
- Additional Creators:
- Cassandras, Christos G. and International Federation of Automatic Control
Access Online
- Restrictions on Access:
- License restrictions may limit access.
- Contents:
- Machine generated contents note: Chattering problem for sliding mode control systems / V. Utkin / H. Lee -- Challenges and opportunities for system theory in embedded controller design / A. Sangiovanni Vincentelli -- Optimal control in hybrid systems / C. Iung / P. Riedinger -- Convergent design of switched linear systems / R. A. van den Berg / A. Y. Pogromsky / J. E. Rooda -- Observer design for a class of discrete time piecewise-linear systems / A. Birouche / J. Daafouz / C. Iung -- Designing switched observers for switched systems using multiple Lyapunov functions and dwell-time switching / S. Pettersson -- Critical states detection with bounded probability of false alarm and application to air traffic management / M. D. Di Benedetto / S. Di Gennaro / A. D'Innocenzo -- Tracking control of join-free timed continuous Petri net systems / J. Xu / L. Recalde / M. Silva -- On sampling continuous timed Petri nets : reachability "equivalence" under infinite servers semantics / C. Mahulea / A. Giua / L. Recalde / C. Seatzu / N. Silva -- Modelling distributed manufacturing systems via first order hybrid Petri nets / M. Dotoli / M. P. Fanti / A. M. Mangini -- Simulation of railway stations based on hybrid Petri nets / F. Kaakai / S. Hayat / A. El-Moudni -- Modeling an impact control strategy using HyPA / P. J. L. Cuijpers / M. A. Reniers -- Human skill modeling based on stochastic switched dynamics / T. Suzuki / S. Inagaki / N. Yamada -- Building efficient simulations from hybrid bond graph models / C. D. Beers / E.-J. Manders / G. Biswas / P.-J. Mosterman -- Robust control strategies for multi-inventory systems with average flow constraints / D. Bauso / F. Blanchini / R. Pesenti -- Hybrid constrained formation flying control of micro-satellites / F. Bacconi / A. Casavola / E. Mosca -- A gradient-based approach to a class of hybrid optimal control problems / V. Azhmyakov / J. Raisch -- Optimal mode-switching for hybrid systems with unknown initial state / H. Axelsson / M. Boccadoro / Y. Wardi / M. Egerstedt -- Beyond the construction of optimal switching surfaces for autonomous hybrid systems / M. Boccadoro / M. Egerstedt / P. Valigi / Y. Wardi -- Approximate simulation relations for hybrid systems / A. Girard / A. A. Julius / G. J. Pappas -- Stabilizability based state space reductions for hybrid systems / E. De Santis / M. D. Di Benedetto / G. Pola -- Reachability computation for uncertain planar affine systems using linear abstractions / O. Nasri / M.-A. Lefebvre / H. Gueguen -- Exact differentiation via sliding mode observer for switched systems / H. Saadaoui / M. Djermai / N. Manamanni / T-. Floquet / J.-P. Barbot -- Robust H-infinity control of uncertain discrete-time switching symmetric composite systems / L. Bakule -- The elevator dispatching problem : hybrid system modeling and receding horizon control / K. S. Wesselowski / C. G. Cassandras -- Robust piecewise linear sheet control in a printer paper path / B. Bukkems / J. de Best / R. van de Molengraft / M. Steinbuch -- Stabilization of max-plus-linear systems using receding horizon control - the unconstrained case / I. Necoara / T. J. J. van den Boom / B. De Schutter / J. Hellendoorn -- Online classification of switching models based on subspace framework / K. M. Pekpe / S. Lecoeuche -- Functional abstractions of stochastic hybrid systems / M. L. Bujorianu / H. A. P. Blom / H. Hermanns -- Stochastic hybrid NETCAD systems for modeling call admission and routing control in networks / Z. Ma / P. E. Caines / R. Malhame -- Parameter identification for piecewise deterministic Markov processes : a case study on a biochemical network / P. Kouretas / K. Koutoumpas / J. Lygeros -- Using path integral short time propagators for numerical analysis of stochastic hybrid systems / G. Lichtenberg / P. Rostalski -- Challenges in start-up control of a heat exchange reactor with exothermic reactions; a hybrid approach / S. Haugwitz / P. Hagander -- Feedback stabilization of the operation of an hybrid chemical plant / I. Simeonova / F. Warichet / G. Bastin / D. Dochain / Y. Pochet -- A solar cooling plant : a benchmark for hybrid systems control / D. Zambrano / C. Bordons / W. Garcia-Gabin / E. F. Camacho -- Timed discrete event control of a parallel production line with continuous output / D. Gromov / S. Geist / J. Raisch -- Dynamic optimization of an industrial evaporator using graph search with embedded nonlinear programming / C. Sonntag / O. Stursberg / S. Engell -- Using neural networks for the identification of a class of hybrid dynamic systems / N. Messai / J. Zaytoon / B. Riera -- Fault tolerant control design for switched systems / M. Rodrigues / D. Theilliol / D. Sauter -- Discrete-event modelling and fault diagnosis of discretely controlled continuous systems / J. Lunze -- Use of an object oriented dynamic hybrid simulator for the monitoring of industrial processes / N. Olivier / G. Hetreux / J.-M. Le Lann / M.-V. Le Lann -- Model predictive control of nonlinear mechatronic systems : an application to a magnetically actuated mass spring damper / S. Di Cairano / A. Bemporad / I. Kolmanovsky / D. Hrovat -- Subtleties in the averaging of hybrid systems with applications to power electronics / L. Iannelli / K. H. Johansson / U. Jonsson / F. Vasca -- Adaptive cruise controller design : a comparative assessment for PWA systems / D. Corona / B. De Schutter -- Idle speed control - a benchmark for hybrid system research / A. Balluchi / L. Benvenuti / M. D. Di Benedetto / T. Villa / A. L. Sangiovanni-Vincentelli -- Simulation and verification of hybrid systems using Chi / D. A. van Beek / J. E. Rooda / R. R. H. Schiffelers -- Hybrid system simulation with SIMEVENTS / C. G. Cassandras / M. I. Clune / P. J. Mosterman -- HyVisual : a hybrid system modeling framework based on Ptolemy II / E. A. Lee / H. Zheng -- TrueTime : simulation of networked computer control systems / D. Henriksson / A. Cervin / M. Andersson / K.-E. Arzen -- CODIS - A framework for continuous/discrete systems co-simulation / G. Nicolescu / F. Bouchhima / L. Gheorghe -- On the finite-time stabilization of a nonlinear uncertain dynamics via switched control / G. Bartolini / A. Pisano / E. Usai -- Search for period-2 cycles in a class of hybrid dynamical systems with autonomous switchings. Application to a thermal device / C. Quemard / J.-C. Jolly / J.-L. Ferrier -- Stabilizability of bimodal piecewise linear systems with continuous vector field / K. Camlibel / M. Heemels / H. Schumacher -- Global input-to-state stability and stabilization of discrete-time piece-wise affine systems / M. Lazar / W. P. M. H. Heemels -- Feasible mode enumeration and cost comparison for explicit quadratic model predictive control of hybrid systems / A. Alessio / A. Bemporad -- An efficient algorithm for predictive control of piecewise affine systems with mixed inputs / S. Leirens / J. Buisson -- Explicit model predictive control of the boost DC-DC converter / A. G. Beccuti / G. Papafotiou / M. Morari -- A new dual-mode hybrid MPC algorithm with a robust stability guarantee / M. Lazar / W. P. M. H. Heemels -- Robust model predictive control for piecewise affine systems subject to bounded disturbances / J. Thomas / S. Olaru / J. Buisson / D. Dumur -- Stabilization of switched linear systems with unknown time varying delays / L. Hetel / J. Daafouz / C. Iung -- Stabilizing dynamic controller of switched linear systems / S. Chaib / A. Benali / O. Boutat / J.-P. Barbot -- Dynamic output feedback stabilization of continuous-time switched systems / J. C. Geromel / P. Colaneri -- Practical stabilization of discrete-time linear LTI SISO systems under assigned input and output quantization / B. Picasso / A. Bicchi -- Box invariance of hybrid and switched systems / A. Abate / A. Tiwari -- Performance verification of discrete event systems using hybrid model-checking / B. Denis / J.-J. Lesage / Z. Juarez-Orozco -- Verification-integrated falsification of non-deterministic hybrid systems / S. Ratschan / J.-G. Smaus -- An evaluation of two recent reachability analysis tools for hybrid systems / I. Ben Makhlouf / S. Kowalewski -- Safety and reliability analysis of protection systems for power systems / L. Ferrarini / L. Ambrosi / E. Ciapessoni -- A hybrid approach for safety analysis of aircraft systems / E. Villani / P. E. Miyagi -- Detecting and enforcing monotonicity for hybrid control systems synthesis / D. Gromov / J. Raisch -- Hybrid system control using an on-line discrete event supervisory strategy / J. Millan / S. O'Young -- Non-deterministic reactive systems, from hybrid systems and behavioural systems perspectives / J. M. Davoren / T. Moor.
- Subject(s):
- Genre(s):
- ISBN:
- 9780080446134 (pbk.)
0080446132 (pbk.) - Bibliography Note:
- Includes bibliographical references and index.
View MARC record | catkey: 7787429