Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
33
views
17
references
Top references
cited by
11
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,890
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Hybrid Systems: Computation and Control
Perturbed Timed Automata
other
Author(s):
Rajeev Alur
,
Salvatore La Torre
,
P. Madhusudan
Publication date
(Print):
2005
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
ScienceOpen Research
Most cited references
17
Record
: found
Abstract
: not found
Article
: not found
What's Decidable about Hybrid Automata?
Thomas Henzinger
,
Peter W. Kopke
,
Anuj Puri
…
(1998)
0
comments
Cited
95
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
What good are digital clocks?
Thomas Henzinger
,
Zohar Manna
,
Amir Pnueli
(1992)
0
comments
Cited
35
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Event-clock automata: a determinizable class of timed automata
Thomas Henzinger
,
Limor Fix
,
Rajeev Alur
(1999)
0
comments
Cited
25
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2005
Pages
: 70-85
DOI:
10.1007/978-3-540-31954-2_5
SO-VID:
5a7e67f7-7671-4e14-a2f9-0cb59500a902
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 25
Operational Semantics of Hybrid Systems
pp. 70
Perturbed Timed Automata
pp. 151
Optimal Control of Discrete Hybrid Stochastic Automata
pp. 258
PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech
pp. 354
Comparison of Four Procedures for the Identification of Hybrid Systems
pp. 402
Taylor Approximation for Hybrid Systems
pp. 449
Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties
pp. 480
A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems
pp. 590
Generating Polynomial Invariants for Hybrid Systems
Similar content
3,890
Online recognition of human activities and adaptation to habit changes by means of learning automata and fuzzy temporal windows
Authors:
M Ros
,
M.P. Cuellar
,
M Delgado
…
Sparse thermal data for cellular automata modeling of grain structure in additive manufacturing
Authors:
Matthew Rolchigo
,
Benjamin Stump
,
James Belak
…
Step flow model in continuous cellular automata method for simulation of anisotropic etching of silicon
Authors:
Mohamad Rezvankhah
,
Mohsen Shayan
,
Amir Merati
…
See all similar
Cited by
11
Quantifying Similarities Between Timed Systems
Authors:
Thomas Henzinger
,
Rupak Majumdar
,
Vinayak Prabhu
Time-Bounded Verification
Authors:
Joel Ouaknine
,
Alexander B. Rabinovich
,
James Worrell
Decidability and Complexity Results for Timed Automata via Channel Machines
Authors:
Parosh Aziz Abdulla
,
Johann Deneux
,
Joel Ouaknine
…
See all cited by