Borrow it
Coverart for item
The Resource Hybrid systems : computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings, Oded Maler, Amir Pnueli (eds.)

Hybrid systems : computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings, Oded Maler, Amir Pnueli (eds.)

Creator
Contributor
Summary
This book constitues the refereed proceedings of the 6th International Workshop on Hybrid Systems: Computation and Control, HSCC 2003, held in Prague, Czech Republic, in April 2003. The 36 revised full papers presented were carefully reviewed and selected from 75 submissions. All current issues in hybrid systems are addressed including formal methods for analysis and control, computational tools, as well as innovative applications in various fields such as automotive control, the immune system, electrical circuits, operating systems, and human brains
Language
eng
Work
Publication
Extent
1 online resource (xii, 558 pages)
Contents
  • Abstracts of Invited Presentations
  • The Mathematics of Matter and the Mathematics of Mind
  • A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal
  • Developing Home Robotics Products: Challenges and Lessons Learned
  • Regular Contributions
  • Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction
  • Reachability Analysis of Nonlinear Systems Using Conservative Approximation
  • Mode Reconstruction for Source Coding and Multi-modal Control
  • Hybrid Control Design for a Wheeled Mobile Robot
  • Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems
  • Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions
  • A Greedy Approach to Identification of Piecewise Affine Models
  • A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems
  • Reachability Questions in Piecewise Deterministic Markov Processes
  • Automatic Verification of a Turbogas Control System with the Mur? Verifier
  • Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System
  • Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control Actuators
  • Conditions of Optimal Classification for Piecewise Affine Regression
  • Approximate Stabilisation of Uncertain Hybrid Systems
  • Efficient Mode Enumeration of Compositional Hybrid Systems
  • Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata
  • Modelling, Well-Posedness, and Stability of Switched Electrical Networks
  • Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach
  • On Systematic Simulation of Open Continuous Systems
  • Estimation of Distributed Hybrid Systems Using Particle Filtering Methods
  • Event Prediction for Switching Linear Systems with Time Varying Thresholds Using Orthogonal Functions
  • On the Causality of Mixed-Signal and Hybrid Models
  • Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata
  • Multi-object Adaptive Cruise Control
  • Universality and Language Inclusion for Open and Closed Timed Automata
  • On the Application of Hybrid Control to CPU Reservations
  • Stabilization of LTI Systems with Quantized State
  • Quantized Input Static Feedback
  • Qualitative Heterogeneous Control of Higher Order Systems
  • The Ö-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems
  • Hybrid Modelling and Control of Power Electronics
  • On the Optimal Control of Hybrid Systems: Optimization of Trajectories, Switching Times, and Location Schedules
  • Efficient Representation and Computation of Reachable Sets for Hybrid Systems
  • Model Checking LTL over Controllable Linear Systems Is Decidable
  • Approximate Reachability for Linear Systems
  • Observability of Linear Hybrid Systems
  • Results and Perspectives on Computational Methods for Optimal Control of Switched Systems
Isbn
9783540365808
Instance
Label
Hybrid systems : computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings
Title
Hybrid systems
Title remainder
computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings
Statement of responsibility
Oded Maler, Amir Pnueli (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitues the refereed proceedings of the 6th International Workshop on Hybrid Systems: Computation and Control, HSCC 2003, held in Prague, Czech Republic, in April 2003. The 36 revised full papers presented were carefully reviewed and selected from 75 submissions. All current issues in hybrid systems are addressed including formal methods for analysis and control, computational tools, as well as innovative applications in various fields such as automotive control, the immune system, electrical circuits, operating systems, and human brains
Member of
Cataloging source
COO
Dewey number
004.1/9
Illustrations
illustrations
Index
index present
LC call number
QA76.38
LC item number
.H73 2003
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2003
http://bibfra.me/vocab/lite/meetingName
HSCC (Conference)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1941-2009
http://library.link/vocab/relatedWorkOrContributorName
  • Maler, O.
  • Pnueli, Amir
Series statement
Lecture notes in computer science,
Series volume
2623
http://library.link/vocab/subjectName
  • Hybrid computers
  • Digital control systems
  • Digital control systems
  • Hybrid computers
Label
Hybrid systems : computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings, Oded Maler, Amir Pnueli (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
Abstracts of Invited Presentations -- The Mathematics of Matter and the Mathematics of Mind -- A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal -- Developing Home Robotics Products: Challenges and Lessons Learned -- Regular Contributions -- Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction -- Reachability Analysis of Nonlinear Systems Using Conservative Approximation -- Mode Reconstruction for Source Coding and Multi-modal Control -- Hybrid Control Design for a Wheeled Mobile Robot -- Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems -- Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions -- A Greedy Approach to Identification of Piecewise Affine Models -- A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems -- Reachability Questions in Piecewise Deterministic Markov Processes -- Automatic Verification of a Turbogas Control System with the Mur? Verifier -- Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System -- Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control Actuators -- Conditions of Optimal Classification for Piecewise Affine Regression -- Approximate Stabilisation of Uncertain Hybrid Systems -- Efficient Mode Enumeration of Compositional Hybrid Systems -- Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata -- Modelling, Well-Posedness, and Stability of Switched Electrical Networks -- Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach -- On Systematic Simulation of Open Continuous Systems -- Estimation of Distributed Hybrid Systems Using Particle Filtering Methods -- Event Prediction for Switching Linear Systems with Time Varying Thresholds Using Orthogonal Functions -- On the Causality of Mixed-Signal and Hybrid Models -- Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata -- Multi-object Adaptive Cruise Control -- Universality and Language Inclusion for Open and Closed Timed Automata -- On the Application of Hybrid Control to CPU Reservations -- Stabilization of LTI Systems with Quantized State -- Quantized Input Static Feedback -- Qualitative Heterogeneous Control of Higher Order Systems -- The Ö-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems -- Hybrid Modelling and Control of Power Electronics -- On the Optimal Control of Hybrid Systems: Optimization of Trajectories, Switching Times, and Location Schedules -- Efficient Representation and Computation of Reachable Sets for Hybrid Systems -- Model Checking LTL over Controllable Linear Systems Is Decidable -- Approximate Reachability for Linear Systems -- Observability of Linear Hybrid Systems -- Results and Perspectives on Computational Methods for Optimal Control of Switched Systems
Control code
166467670
Dimensions
unknown
Extent
1 online resource (xii, 558 pages)
Form of item
online
Isbn
9783540365808
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-36580-X
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)166467670
Label
Hybrid systems : computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings, Oded Maler, Amir Pnueli (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
Abstracts of Invited Presentations -- The Mathematics of Matter and the Mathematics of Mind -- A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal -- Developing Home Robotics Products: Challenges and Lessons Learned -- Regular Contributions -- Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction -- Reachability Analysis of Nonlinear Systems Using Conservative Approximation -- Mode Reconstruction for Source Coding and Multi-modal Control -- Hybrid Control Design for a Wheeled Mobile Robot -- Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems -- Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions -- A Greedy Approach to Identification of Piecewise Affine Models -- A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems -- Reachability Questions in Piecewise Deterministic Markov Processes -- Automatic Verification of a Turbogas Control System with the Mur? Verifier -- Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System -- Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control Actuators -- Conditions of Optimal Classification for Piecewise Affine Regression -- Approximate Stabilisation of Uncertain Hybrid Systems -- Efficient Mode Enumeration of Compositional Hybrid Systems -- Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata -- Modelling, Well-Posedness, and Stability of Switched Electrical Networks -- Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach -- On Systematic Simulation of Open Continuous Systems -- Estimation of Distributed Hybrid Systems Using Particle Filtering Methods -- Event Prediction for Switching Linear Systems with Time Varying Thresholds Using Orthogonal Functions -- On the Causality of Mixed-Signal and Hybrid Models -- Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata -- Multi-object Adaptive Cruise Control -- Universality and Language Inclusion for Open and Closed Timed Automata -- On the Application of Hybrid Control to CPU Reservations -- Stabilization of LTI Systems with Quantized State -- Quantized Input Static Feedback -- Qualitative Heterogeneous Control of Higher Order Systems -- The Ö-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems -- Hybrid Modelling and Control of Power Electronics -- On the Optimal Control of Hybrid Systems: Optimization of Trajectories, Switching Times, and Location Schedules -- Efficient Representation and Computation of Reachable Sets for Hybrid Systems -- Model Checking LTL over Controllable Linear Systems Is Decidable -- Approximate Reachability for Linear Systems -- Observability of Linear Hybrid Systems -- Results and Perspectives on Computational Methods for Optimal Control of Switched Systems
Control code
166467670
Dimensions
unknown
Extent
1 online resource (xii, 558 pages)
Form of item
online
Isbn
9783540365808
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-36580-X
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)166467670

Subject

Genre

Member of

Library Locations

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

Library Links

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...