Hybrid Systems II (Record no. 35387)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04464nam a22005775i 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783540475194 |
| -- | 978-3-540-47519-4 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.1 |
| 245 10 - TITLE STATEMENT | |
| Title | Hybrid Systems II |
| Statement of responsibility, etc | edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry. |
| 260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Berlin, Heidelberg : |
| Name of publisher | Springer Berlin Heidelberg, |
| Year of publication | 1995. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | IX, 575 p. |
| Other physical details | online resource. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Symbolic 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. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | This 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer software. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Logic design. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Processor Architectures. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Special Purpose and Application-Based Systems. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Software Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Logics and Meanings of Programs. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computation by Abstract Devices. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Algorithm Analysis and Problem Complexity. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Antsaklis, Panos. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Kohn, Wolf. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Nerode, Anil. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Sastry, Shankar. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1007/3-540-60472-3 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | E-BOOKS |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg, |
| -- | 1995. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| -- | 0302-9743 ; |
| Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
|---|---|---|---|---|---|---|---|
| IMSc Library | EBK6093 | http://dx.doi.org/10.1007/3-540-60472-3 | E-BOOKS |