Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
24
views
0
references
Top references
cited by
0
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
0
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Lecture Notes in Computer Science
Hybrid Systems: Computation and Control
other
Editor(s):
Nancy Lynch
,
Bruce H. Krogh
Publication date
(Online):
February 1 2002
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Socioecological systems
Author and book information
Book
ISBN (Print):
978-3-540-67259-3
ISBN (Electronic):
978-3-540-46430-3
Publication date (Print):
2000
Publication date (Online):
February 1 2002
DOI:
10.1007/3-540-46430-1
SO-VID:
46be6132-89fa-49d3-9a80-41648c865705
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision
pp. 3
Experiences in Designing and Using Formal Specification Languages for Embedded Control Software
pp. 4
Model-Based Autonomous Systems for Robotic Space Exploration
pp. 5
Models of Computation and Simulation of Hybrid Systems
pp. 6
Modular Specification of Hybrid Systems in Charon
pp. 32
Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine
pp. 45
Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems
pp. 59
Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications
pp. 73
Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations
pp. 89
Theory of Optimal Control Using Bisimulations
pp. 103
Behavior Based Robotics Using Hybrid Automata
pp. 117
Hybrid Controllers for Hierarchically Decomposed Systems
pp. 130
Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods
pp. 145
Robust Undecidability of Timed and Hybrid Systems
pp. 160
Towards a Theory of Stochastic Hybrid Systems
pp. 174
Automatic Compilation of Concurrent Hybrid Factories from Product Assembly Specifications
pp. 188
A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System
pp. 202
Ellipsoidal Techniques for Reachability Analysis
pp. 215
Uniform Reachability Algorithms
pp. 229
On the Existence of Solutions to Controlled Hybrid Automata
pp. 243
Nonlinear Stabilization by Hybrid Quantized Feedback
pp. 258
Diagnosis of Quantised Systems by Means of Timed Discrete-Event Representations
pp. 272
Existence and Stability of Limit Cycles in Switched Single Server Flow Networks Modelled as Hybrid Dynamical Systems
pp. 282
Hybrid Systems Diagnosis
pp. 296
Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata
pp. 324
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems
pp. 338
Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode
pp. 352
Hybrid Systems Verification by Location Elimination
pp. 366
A Dynamic Bayesian Network Approach to Tracking Using Learned Switching Dynamic Models
pp. 381
Stability of Hybrid Systems Using LMIs — A Gear-Box Application
pp. 396
Invariance of Approximating Automata for Piecewise Linear Systems with Uncertainties
pp. 407
Decidable Controller Synthesis for Classes of Linear Systems
pp. 421
Towards a Geometric Theory of Hybrid Systems
pp. 437
Controlled Invariance of Discrete Time Systems
pp. 451
Dynamical Systems Revisited: Hybrid Systems with Zeno Executions