ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
3
views
18
references
Top references
cited by
7
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,312
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Hybrid Systems: Computation and Control
Hybrid I/O Automata Revisited
other
Author(s):
Nancy Lynch
,
Roberto Segala
,
Frits Vaandrager
Publication date
(Online):
March 21 2001
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
2023 Research and Innovation Open Distance and eLearning (ODeL) Hybrid Conference
Most cited references
18
Record
: found
Abstract
: not found
Article
: not found
The algorithmic analysis of hybrid systems
R. Alur
,
C. Courcoubetis
,
N. Halbwachs
…
(1995)
0
comments
Cited
44
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Hybrid I/O automata
Nancy Lynch
,
Roberto Segala
,
Frits Vaandrager
…
(1996)
0
comments
Cited
28
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Reactive modules
T.A. Henzinger
,
R. Alur
(2024)
0
comments
Cited
20
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2001
Publication date (Online):
March 21 2001
Pages
: 403-417
DOI:
10.1007/3-540-45351-2_33
SO-VID:
cec50528-a651-4735-b3cd-d6fe5194a7cd
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 7
Design of Luenberger Observers for a Class of Hybrid Linear Systems
pp. 19
Hybrid Modeling and Simulation of Biomolecular Networks
pp. 433
Robust Controller Synthesis for Hybrid Systems Using Modal Logic
pp. 487
Semi-de1cidable Synthesis for Triangular Hybrid Systems
pp. 49
Optimal Paths in Weighted Timed Automata
pp. 63
Reach Set Computations Using Real Quantifier Elimination
pp. 89
On the Decidability of the Reachability Problem for Planar Differential Inclusions
pp. 232
Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model
pp. 261
Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles
pp. 403
Hybrid I/O Automata Revisited
pp. 418
Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets
Similar content
3,312
Automata-Based Dynamic Fault Tolerant Task Scheduling Approach in Fog Computing
Authors:
Sara Ghanavati
,
Jemal Abawajy
,
Davood Izadi
Optimization-based motion primitive automata for autonomous driving
Authors:
Matheus V. A. Pedrosa
,
Patrick Scheffe
,
Bassam Alrifaee
…
Modeling of urban change using remote sensing data and cellular automata technique
Authors:
K Abutaleb
,
F Ahmed
See all similar
Cited by
7
Hybrid I/O automata
Authors:
Nancy Lynch
,
Roberto Segala
,
Frits Vaandrager
Decentralized Cooperative Policy for Conflict Resolution in Multivehicle Systems
Authors:
Lucia Pallottino
,
Emilio Frazzoli
,
Vincenzo Scordio
…
Tool support for the design of self-optimizing mechatronic multi-agent systems
Authors:
Sven Burmester
,
Holger Giese
,
Eckehard Münch
…
See all cited by