LEADER 05570nam 22007695 450 001 996466115603316 005 20200702125122.0 010 $a3-540-47519-2 024 7 $a10.1007/3-540-60472-3 035 $a(CKB)1000000000234359 035 $a(SSID)ssj0000323862 035 $a(PQKBManifestationID)11246663 035 $a(PQKBTitleCode)TC0000323862 035 $a(PQKBWorkID)10303423 035 $a(PQKB)10547978 035 $a(DE-He213)978-3-540-47519-4 035 $a(PPN)155231766 035 $a(EXLCZ)991000000000234359 100 $a20121227d1995 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aHybrid Systems II$b[electronic resource] /$fedited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry 205 $a1st ed. 1995. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1995. 215 $a1 online resource (IX, 575 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v999 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-60472-3 327 $aSymbolic controller synthesis for discrete and timed systems -- A Calculus of Stochastic Systems for the specification, simulation, and hidden state estimation of hybrid stochastic/non-stochastic systems -- Condensation of information from signals for process modeling and control -- On the automatic verification of systems with continuous variables and unbounded discrete data structures -- On dynamically consistent hybrid systems -- A self-learning neuro-fuzzy system -- Viable control of hybrid systems -- Modeling and stability issues in hybrid systems -- Hierarchical hybrid control: a case study -- Hybrid systems and quantum automata: Preliminary announcement -- Planar hybrid systems -- Programming in hybrid constraint languages -- A note on abstract interpretation strategies for hybrid automata -- HyTech: The Cornell Hybrid Technology Tool -- Hybrid systems as Finsler manifolds: Finite state control as approximation to connections -- Constructing hybrid control systems from robust linear control agents -- Controllers as fixed points of set-valued operators -- Verification of hybrid systems using abstractions -- Control of continuous plants by symbolic output feedback -- Hybrid control of a robot ? a case study -- Verifying time-bounded properties for ELECTRE reactive programs with stopwatch automata -- Inductive modeling: A framework marrying systems theory and non-monotonic reasoning -- Semantics and verification of hierarchical CRP programs -- Interface and controller design for hybrid control systems -- Hybrid objects -- Modelling of hybrid systems based on extended coloured Petri nets -- DEVS framework for modelling, simulation, analysis, and design of hybrid systems -- Synthesis of hybrid constraint-based controllers. 330 $aThis book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised full papers chosen from the workshop contribution and is the successor to LNCS 736, the seminal "Hybrid Systems" volume edited by Grossman, Nerode, Ravn, and Rischel. Hybrid systems are models for networks of digital and continuous devices, in which digital control programs sense and supervise continuous and discrete plants governed by differential or difference equations. The investigation of hybrid systems is creating a new and fascinating discipline bridging mathematics, computer science, and control engineering. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v999 606 $aMicroprocessors 606 $aControl engineering 606 $aComputers 606 $aSpecial purpose computers 606 $aSoftware engineering 606 $aComputer logic 606 $aProcessor Architectures$3https://scigraph.springernature.com/ontologies/product-market-codes/I13014 606 $aControl and Systems Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/T19010 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aMicroprocessors. 615 0$aControl engineering. 615 0$aComputers. 615 0$aSpecial purpose computers. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 14$aProcessor Architectures. 615 24$aControl and Systems Theory. 615 24$aTheory of Computation. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 676 $a629.8/9 702 $aAntsaklis$b Panos$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKohn$b Wolf$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNerode$b Anil$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSastry$b Shankar$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466115603316 996 $aHybrid systems II$91489256 997 $aUNISA