skip to content
Hybrid systems : computation and control : first international workshop, HSCC '98, Berkeley, California, USA, April 13-15, 1998 : proceedings Preview this item
ClosePreview this item
Checking...

Hybrid systems : computation and control : first international workshop, HSCC '98, Berkeley, California, USA, April 13-15, 1998 : proceedings

Author: T A Henzinger; Shankar Sastry
Publisher: Berlin ; New York : Springer, ©1998.
Series: Lecture notes in computer science, 1386.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

This work constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control. The 27 papers focus on mathematical methods for the rigorous and  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Kongress
Kongreß
Conference papers and proceedings
Berkeley (Calif., 1998)
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: T A Henzinger; Shankar Sastry
ISBN: 3540643583 9783540643586
OCLC Number: 38747288
Description: viii, 415 pages : illustrations ; 24 cm.
Contents: Equations on timed languages.- Hybrid control for automotive engine management: The cut-off case.- Hybrid control of automotive powertrain systems: A case study.- On the composition of hybrid systems.- An equivalence between a control network and a switched hybrid system.- Hybrid cc with interval constraints.- Reachability analysis via face lifting.- Automotive control revisited linear inequalities as approximation of reachable sets.- Switching controllers based on neural network estimates of stability regions and controller performance.- A logic for the specification of continuous systems.- Integrating projections.- Lyapunov stability of continuous-valued systems under the supervision of discrete-event transition systems.- Reachability verification for hybrid automata.- Subanalytic stratifications and bisimulations.- Integrated design and simulation of hybrid systems.- Hierarchical hybrid systems: Partition deformations and applications to the acrobot system.- Formal verification of safety-critical hybrid systems.- Strings of vehicles: Modeling and safety conditions.- An approach to the verification of the Center-TRACON automation system.- Deductive verification of hybrid systems using step.- Reduction and decomposition of differential automata: Theory and applications.- Optimization of generalized solutions of nonlinear hybrid (discrete-continuous) systems.- Information-based optimization approaches to dynamical system safety verification.- Synthesizing controllers for nonlinear hybrid systems.- A sufficient condition for controllability of a class of hybrid systems.- Hybrid regular expressions.- Stabilization of systems with changing dynamics.
Series Title: Lecture notes in computer science, 1386.
Responsibility: Thomas A. Henzinger, Shankar Sastry (eds).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/38747288> # Hybrid systems : computation and control : first international workshop, HSCC '98, Berkeley, California, USA, April 13-15, 1998 : proceedings
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "38747288" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4095503099#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/4095503099#Topic/hybrid_computers> ; # Hybrid computers
    schema:about <http://experiment.worldcat.org/entity/work/data/4095503099#Topic/hybride_computers> ; # Hybride computers
    schema:about <http://experiment.worldcat.org/entity/work/data/4095503099#Topic/kongress> ; # Kongreß
    schema:about <http://dewey.info/class/629.89/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4095503099#Topic/calculateurs_hybrides_congres> ; # Calculateurs hybrides--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/4095503099#Topic/hybrides_system> ; # Hybrides System
    schema:about <http://experiment.worldcat.org/entity/work/data/4095503099#Topic/hybridrechner> ; # Hybridrechner
    schema:about <http://experiment.worldcat.org/entity/work/data/4095503099#Topic/engenharia_de_programacao_software> ; # Engenharia de programacao (software)
    schema:about <http://experiment.worldcat.org/entity/work/data/4095503099#Topic/calculateurs_hybrides> ; # Calculateurs hybrides
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/67255713> ; # Thomas A. Henzinger
    schema:contributor <http://experiment.worldcat.org/entity/work/data/4095503099#Person/sastry_shankar> ; # Shankar Sastry
    schema:copyrightYear "1998" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/4095503099#Meeting/hscc_conference_1998_berkeley_calif> ; # HSCC (Conference) (1998 : Berkeley, Calif.)
    schema:datePublished "1998" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4095503099> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Kongreß"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Kongress"@en ;
    schema:genre "Berkeley (Calif., 1998)"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:name "Hybrid systems : computation and control : first international workshop, HSCC '98, Berkeley, California, USA, April 13-15, 1998 : proceedings"@en ;
    schema:productID "38747288" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/38747288#PublicationEvent/berlin_new_york_springer_1998> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4095503099#Agent/springer> ; # Springer
    schema:url <http://swbplus.bsz-bw.de/bsz065333241cov.htm> ;
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0815/98016296-t.html> ;
    schema:workExample <http://worldcat.org/isbn/9783540643586> ;
    umbel:isLike <http://d-nb.info/953053482> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9831383> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/38747288> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/4095503099#Meeting/hscc_conference_1998_berkeley_calif> # HSCC (Conference) (1998 : Berkeley, Calif.)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/4095503099#Place/berkeley_calif> ; # Berkeley, Calif.)
    schema:name "HSCC (Conference) (1998 : Berkeley, Calif.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4095503099#Person/sastry_shankar> # Shankar Sastry
    a schema:Person ;
    schema:familyName "Sastry" ;
    schema:givenName "Shankar" ;
    schema:name "Shankar Sastry" ;
    .

<http://experiment.worldcat.org/entity/work/data/4095503099#Place/berkeley_calif> # Berkeley, Calif.)
    a schema:Place ;
    schema:name "Berkeley, Calif.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4095503099#Topic/calculateurs_hybrides> # Calculateurs hybrides
    a schema:Intangible ;
    schema:name "Calculateurs hybrides"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/4095503099#Topic/calculateurs_hybrides_congres> # Calculateurs hybrides--Congrès
    a schema:Intangible ;
    schema:name "Calculateurs hybrides--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4095503099#Topic/engenharia_de_programacao_software> # Engenharia de programacao (software)
    a schema:Intangible ;
    schema:name "Engenharia de programacao (software)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4095503099#Topic/hybride_computers> # Hybride computers
    a schema:Intangible ;
    schema:name "Hybride computers"@en ;
    .

<http://viaf.org/viaf/67255713> # Thomas A. Henzinger
    a schema:Person ;
    schema:familyName "Henzinger" ;
    schema:givenName "Thomas A." ;
    schema:givenName "T. A." ;
    schema:name "Thomas A. Henzinger" ;
    .

<http://worldcat.org/isbn/9783540643586>
    a schema:ProductModel ;
    schema:isbn "3540643583" ;
    schema:isbn "9783540643586" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/38747288> ; # Hybrid systems : computation and control : first international workshop, HSCC '98, Berkeley, California, USA, April 13-15, 1998 : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/38747288>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/38747288> ; # Hybrid systems : computation and control : first international workshop, HSCC '98, Berkeley, California, USA, April 13-15, 1998 : proceedings
    schema:dateModified "2017-09-21" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.