LEADER 03396oam  2200553   450 
001 996465504903316
005 20210714183615.0
010   $a3-540-49163-5
024 7 $a10.1007/3-540-49163-5
035   $a(CKB)1000000000211063
035   $a(SSID)ssj0000323865
035   $a(PQKBManifestationID)11258086
035   $a(PQKBTitleCode)TC0000323865
035   $a(PQKBWorkID)10318944
035   $a(PQKB)11098069
035   $a(DE-He213)978-3-540-49163-7
035   $a(MiAaPQ)EBC3072378
035   $a(MiAaPQ)EBC6485921
035   $a(PPN)155215213
035   $a(EXLCZ)991000000000211063
100   $a20210714d1999      uy             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 00$aHybrid systems V /$fPanos J. Antsaklis [and four others], editors
205   $a1st ed. 1999.
210  1$aBerlin ;$aHeidelberg :$cSpringer Verlag,$d[1999]
210  4$d©1999
215   $a1 online resource (CDLXVIII, 458 p.)
225 1 $aLecture Notes in Computer Science ;$vVolume 1567
300   $aPapers related to the Fifth International Hybrid SystemsWorkshop , held in Notre Dame, Indiana, September 11-13, 1997.
311   $a3-540-65643-X 
320   $aIncludes bibliographical references and index.
327   $aControl Synthesis of Hybrid Systems Based on Predicate Invariance -- Computing Approximating Automata for a Class of Linear Hybrid Systems -- On Hybrid Systems and the Modal µ-calculus -- The Extended Linear Complementarity Problem and the Modeling and Analysis of Hybrid Systems -- Controller Scheduling Using Neural Networks: Implementation and Experimental Results -- Rigorous Design of a Fault Diagnosis and Isolation Algorithm -- Scalable Data and Sensor Fusion via Multiple Agent Hybrid Systems -- Hybrid Control Systems Using Timed Petri Nets: Supervisory Control Design Based on Invariant Properties -- A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem -- Hybrid Systems with Finite Bisimulations -- Extracting Stable Timed Automata from Switched Model Reference Systems -- Sliding Mode Model Semantics and Simulation for Hybrid Systems -- Time-Deterministic Hybrid Transition Systems -- Heuristic Optimization and Dynamical System Safety Verification -- A Hybrid Receding?Horizon Control Scheme for Nonlinear Discrete?Time Systems -- Approximating Automata and Discrete Control for Continuous Systems ? Two Examples from Process Control -- Action Systems with Continuous Behaviour -- Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles -- Optimal Controller Switching for Stochastic Systems -- Robust Control of Hybrid Systems: Performance Guided Strategies -- Analysis of Slope-Parametric Rectangular Automata -- Control of Interval Temporal Systems -- Phase-Space Nonlinear Control Toolbox: The Maglev Experience.
410  0$aLecture notes in computer science ;$vVolume 1567.
606   $aHybrid computers$vCongresses
615  0$aHybrid computers
676   $a004.19
702   $aAntsaklis$b Panos J.
712 12$aInternational Conference on Hybrid Systems$d(5th :$f1997 :$eNotre Dame, Ind.),
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bUtOrBLW
906   $aBOOK
912   $a996465504903316
996   $aHybrid systems V$91490935
997   $aUNISA