Coverart for item
The Resource Hybrid systems : computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings, Rajeev Alur, George J. Pappas (eds.)

Hybrid systems : computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings, Rajeev Alur, George J. Pappas (eds.)

Label
Hybrid systems : computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings
Title
Hybrid systems
Title remainder
computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings
Statement of responsibility
Rajeev Alur, George J. Pappas (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 7th International Workshop on Hybrid Systems: Computation and Control, HSCC 2004, held in Philadelphia, PA, USA, in March 2004. The 43 revised full papers presented together with an invited article were carefully reviewed and selected from 117 submissions. The papers address all current issues in hybrid systems such as tools for analysis and verification, control and optimization, modeling and engineering applications, and emerging topics in programming language support and implementation; a special focus is on the interplay between biomolecular networks, systems biology, formal methods, and control of hybrid systems
Member of
Cataloging source
COO
Dewey number
004.1/9
Illustrations
illustrations
Index
index present
LC call number
QA76.38
LC item number
.H73 2004
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2004
http://bibfra.me/vocab/lite/meetingName
HSCC (Conference)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1966-
http://library.link/vocab/relatedWorkOrContributorName
  • Alur, Rajeev
  • Pappas, George J
Series statement
Lecture notes in computer science
Series volume
2993
http://library.link/vocab/subjectName
  • Hybrid computers
  • Digital control systems
  • COMPUTERS
  • Digital control systems
  • Hybrid computers
  • Hybride computers
  • Hybrides System
  • Système hybride (Informatique)
  • Calcul numérique
  • Commande numérique
Label
Hybrid systems : computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings, Rajeev Alur, George J. Pappas (eds.)
Instantiates
Publication
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
Regular Papers -- Lazy Rectangular Hybrid Automata -- Affine Hybrid Systems -- Abstraction by Projection and Application to Multi-affine Systems -- Observability of Switched Linear Systems -- Inference Methods for Autonomous Stochastic Linear Hybrid Systems -- Synthesis for Idle Speed Control of an Automotive Engine -- Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways -- Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems -- A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems -- Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems -- Discrete and Hybrid Nonholonomy -- Approximations of the Rate of Growth of Switched Linear Systems -- The Hybrid Guaranteed Capture Basin Algorithm in Economics -- Staying Alive as Cheaply as Possible -- On O-Minimal Hybrid Systems -- Extended Stochastic Hybrid Systems and Their Reachability Problem -- On the Controllability of Bimodal Piecewise Linear Systems -- Observability of Piecewise-Affine Hybrid Systems -- Non-deterministic Temporal Logics for General Flow Systems -- Almost ASAP Semantics: From Timed Models to Timed Implementations -- Discrete State Estimators for a Class of Hybrid Systems on a Lattice -- Benchmarks for Hybrid Systems Verification -- On the Optimal Control of Switch-Mode DC-DC Converters -- Event-Driven Programming with Logical Execution Times -- A Stochastic Hybrid Model for Air Traffic Control Simulation -- Stochastic Hybrid Systems: Application to Communication Networks -- Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints -- Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid Systems -- Sound Code Generation from Communicating Hybrid Models -- Multi-Parametric Toolbox (MPT) -- Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis -- Safety Verification of Hybrid Systems Using Barrier Certificates -- Piecewise-Linear Output-Error Methods for Parameter Estimation in Direction-Dependent Processes -- A Spatial Logic for the Hybrid?-Calculus -- Full Paper Sheet Control Using Hybrid Automata -- Constructing Invariants for Hybrid Systems -- Bisimulation of Dynamical Systems -- Control Design for a Hybrid Dynamic System: A NASA Life Support System -- Non-concurrent Error Detection and Correction in Switched Linear Controllers -- Nonlinear Systems: Approximating Reach Sets -- On Practical Stability and Stabilization of Hybrid and Switched Systems -- A Numerical Technique for Stability Analysis of Linear Switched Systems -- Asymptotic Stability and Boundedness of Delay Switching Diffusions -- Invited Contribution -- Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks
Control code
61048145
Dimensions
unknown
Extent
1 online resource (xii, 674 pages)
Form of item
online
Isbn
9783540247432
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b96398
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)61048145
Label
Hybrid systems : computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings, Rajeev Alur, George J. Pappas (eds.)
Publication
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
Regular Papers -- Lazy Rectangular Hybrid Automata -- Affine Hybrid Systems -- Abstraction by Projection and Application to Multi-affine Systems -- Observability of Switched Linear Systems -- Inference Methods for Autonomous Stochastic Linear Hybrid Systems -- Synthesis for Idle Speed Control of an Automotive Engine -- Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways -- Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems -- A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems -- Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems -- Discrete and Hybrid Nonholonomy -- Approximations of the Rate of Growth of Switched Linear Systems -- The Hybrid Guaranteed Capture Basin Algorithm in Economics -- Staying Alive as Cheaply as Possible -- On O-Minimal Hybrid Systems -- Extended Stochastic Hybrid Systems and Their Reachability Problem -- On the Controllability of Bimodal Piecewise Linear Systems -- Observability of Piecewise-Affine Hybrid Systems -- Non-deterministic Temporal Logics for General Flow Systems -- Almost ASAP Semantics: From Timed Models to Timed Implementations -- Discrete State Estimators for a Class of Hybrid Systems on a Lattice -- Benchmarks for Hybrid Systems Verification -- On the Optimal Control of Switch-Mode DC-DC Converters -- Event-Driven Programming with Logical Execution Times -- A Stochastic Hybrid Model for Air Traffic Control Simulation -- Stochastic Hybrid Systems: Application to Communication Networks -- Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints -- Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid Systems -- Sound Code Generation from Communicating Hybrid Models -- Multi-Parametric Toolbox (MPT) -- Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis -- Safety Verification of Hybrid Systems Using Barrier Certificates -- Piecewise-Linear Output-Error Methods for Parameter Estimation in Direction-Dependent Processes -- A Spatial Logic for the Hybrid?-Calculus -- Full Paper Sheet Control Using Hybrid Automata -- Constructing Invariants for Hybrid Systems -- Bisimulation of Dynamical Systems -- Control Design for a Hybrid Dynamic System: A NASA Life Support System -- Non-concurrent Error Detection and Correction in Switched Linear Controllers -- Nonlinear Systems: Approximating Reach Sets -- On Practical Stability and Stabilization of Hybrid and Switched Systems -- A Numerical Technique for Stability Analysis of Linear Switched Systems -- Asymptotic Stability and Boundedness of Delay Switching Diffusions -- Invited Contribution -- Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks
Control code
61048145
Dimensions
unknown
Extent
1 online resource (xii, 674 pages)
Form of item
online
Isbn
9783540247432
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b96398
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)61048145

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...