The Resource Hybrid systems IV, Panos Antsaklis [and others], eds, (electronic resource)

Hybrid systems IV, Panos Antsaklis [and others], eds, (electronic resource)

Label
Hybrid systems IV
Title
Hybrid systems IV
Statement of responsibility
Panos Antsaklis [and others], eds
Title variation
  • Hybrid systems 4
  • Hybrid systems four
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control
Member of
Action
digitized
Cataloging source
SCPER
Dewey number
629.8/95
Illustrations
illustrations
Index
index present
LC call number
QA76.38
LC item number
.H95 1997
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1996
http://library.link/vocab/relatedWorkOrContributorName
  • Antsaklis, Panos J
  • International Conference on Hybrid Systems
Series statement
Lecture notes in computer science,
Series volume
1273
http://library.link/vocab/subjectName
  • Hybrid computers
  • système hybride
  • Hybrid computers
  • Commande numérique
  • Calculateurs hybrides
  • Hybrides System
Label
Hybrid systems IV, Panos Antsaklis [and others], eds, (electronic resource)
Link
http://dx.doi.org/10.1007/BFb0031551
Instantiates
Publication
Note
Papers related to the Fourth International Conference on Hybrid Systems, held in Ithaca, N.Y, October 12-14, 1996
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Bumpless switching in hybrid systems / A.B. Arehart and W.A. Wolovich -- A toolbox for proving and maintaining hybrid specifications / M.S. Branicky, E. Dolginova, and N. Lynch -- Simulation of hybrid systems / M.S. Branicky and S.E. Mattsson -- Application of the Kohn-Nerode control law extraction procedure to the inverted pendulum problem / V. Brayman and J. Vagners -- Decidability of hybrid systems with linear and nonlinear differential inclusions / M. Broucke and P. Varaiya -- Reliable implementation of hybrid control systems for advanced avionics / D.D. Cofer -- SHIFT : a formalism and a programming language for dynamic networks of hybrid automata / A. Deshpande, A. Göllü and P. Varaiya -- Synthesis of minimally restrictive legal controllers for a class of hybrid systems / M. Heymann, F. Lin and G. Meyer -- Control theory, modal logic, and games / J.F. Knight and B. Luense -- Agent based velocity control of highway systems / W. Kohn, A. Nerode and J.B. Remmel -- A computational analysis of the reachability problem for a class of hybrid dynamical systems / J.F. Kolen and F. Zhao -- A class of rectangular hybrid systems with computable reach set / M. Kourjanski and P. Varaiya -- Safe implementations of supervisory commands / M. Lemmon and C.J. Bett -- Hybrid system games : extraction of control automata with small topologies / A. Nerode, J.B. Remmel and A. Yakhnis -- Hybrid control design for a three vehicle scenario demonstration using overlapping decompositions / O. Özgüner [and others] -- Towards continuous abstractions of dynamical and control systems / G.J. Pappas and S. Sastry -- A totally ordered set of discrete abstractions for a given hybrid or continuous system / J. Raisch and S. O'Young -- Comparing timed and hybrid automata as approximations of continuous systems / O. Stursberg [and others] -- Hybrid control models of next generation air traffic management / C. Tomlin [and others]
Dimensions
unknown
Extent
1 online resource (x, 404 pages)
Form of item
online
Isbn
9783540695233
Isbn Type
(electronic bk.)
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Reproduction note
Electronic reproduction.
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)327076389
  • (OCoLC)ocn327076389
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Label
Hybrid systems IV, Panos Antsaklis [and others], eds, (electronic resource)
Link
http://dx.doi.org/10.1007/BFb0031551
Publication
Note
Papers related to the Fourth International Conference on Hybrid Systems, held in Ithaca, N.Y, October 12-14, 1996
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Bumpless switching in hybrid systems / A.B. Arehart and W.A. Wolovich -- A toolbox for proving and maintaining hybrid specifications / M.S. Branicky, E. Dolginova, and N. Lynch -- Simulation of hybrid systems / M.S. Branicky and S.E. Mattsson -- Application of the Kohn-Nerode control law extraction procedure to the inverted pendulum problem / V. Brayman and J. Vagners -- Decidability of hybrid systems with linear and nonlinear differential inclusions / M. Broucke and P. Varaiya -- Reliable implementation of hybrid control systems for advanced avionics / D.D. Cofer -- SHIFT : a formalism and a programming language for dynamic networks of hybrid automata / A. Deshpande, A. Göllü and P. Varaiya -- Synthesis of minimally restrictive legal controllers for a class of hybrid systems / M. Heymann, F. Lin and G. Meyer -- Control theory, modal logic, and games / J.F. Knight and B. Luense -- Agent based velocity control of highway systems / W. Kohn, A. Nerode and J.B. Remmel -- A computational analysis of the reachability problem for a class of hybrid dynamical systems / J.F. Kolen and F. Zhao -- A class of rectangular hybrid systems with computable reach set / M. Kourjanski and P. Varaiya -- Safe implementations of supervisory commands / M. Lemmon and C.J. Bett -- Hybrid system games : extraction of control automata with small topologies / A. Nerode, J.B. Remmel and A. Yakhnis -- Hybrid control design for a three vehicle scenario demonstration using overlapping decompositions / O. Özgüner [and others] -- Towards continuous abstractions of dynamical and control systems / G.J. Pappas and S. Sastry -- A totally ordered set of discrete abstractions for a given hybrid or continuous system / J. Raisch and S. O'Young -- Comparing timed and hybrid automata as approximations of continuous systems / O. Stursberg [and others] -- Hybrid control models of next generation air traffic management / C. Tomlin [and others]
Dimensions
unknown
Extent
1 online resource (x, 404 pages)
Form of item
online
Isbn
9783540695233
Isbn Type
(electronic bk.)
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Reproduction note
Electronic reproduction.
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)327076389
  • (OCoLC)ocn327076389
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...