ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Distributed reachability analysis in timed automata
International Journal on Software Tools for Technology Transfer
◽
10.1007/s10009-003-0111-z
◽
2003
◽
Vol 7
(1)
◽
pp. 19-30
◽
Cited By ~ 13
Author(s):
Gerd Behrmann
Keyword(s):
Timed Automata
◽
Reachability Analysis
Download Full-text
Related Documents
Cited By
References
Reachability analysis for timed automata using max-plus algebra
The Journal of Logic and Algebraic Programming
◽
10.1016/j.jlap.2011.10.004
◽
2012
◽
Vol 81
(3)
◽
pp. 298-313
◽
Cited By ~ 9
Author(s):
Qi Lu
◽
Michael Madsen
◽
Martin Milata
◽
Søren Ravn
◽
Uli Fahrenberg
◽
...
Keyword(s):
Timed Automata
◽
Reachability Analysis
Download Full-text
Architecture assessment for safety critical plant operation using reachability analysis of timed automata
Reliability Engineering & System Safety
◽
10.1016/j.ress.2020.106923
◽
2020
◽
Vol 199
◽
pp. 106923
Author(s):
David Gouyon
◽
Jean-François Pétin
◽
Thomas Cochard
◽
Catherine Devic
Keyword(s):
Timed Automata
◽
Reachability Analysis
◽
Plant Operation
◽
Safety Critical
Download Full-text
A full symbolic compositional reachability analysis of timed automata based on BDD
2015 Seventh International Conference on Advanced Computational Intelligence (ICACI)
◽
10.1109/icaci.2015.7184781
◽
2015
◽
Author(s):
Junwei Du
◽
Huiping Zhang
◽
Gang Yu
◽
Xi Wang
Keyword(s):
Timed Automata
◽
Reachability Analysis
Download Full-text
Effective Batch Scheduling with Sequence-dependent Changeovers Using Reachability Analysis of Timed Automata Combined with Lower Bound Computations
IFAC Proceedings Volumes
◽
10.3182/20120523-3-ro-2023.00155
◽
2012
◽
Vol 45
(6)
◽
pp. 75-80
◽
Cited By ~ 1
Author(s):
Christian Schoppmeyer
◽
Subanatarajan Subbiah
◽
Santhosh Bendiganahalli-Deveerappa
◽
Sebastian Engell
Keyword(s):
Lower Bound
◽
Timed Automata
◽
Reachability Analysis
◽
Batch Scheduling
◽
Sequence Dependent
Download Full-text
Improvements in BDD-Based Reachability Analysis of Timed Automata
Lecture Notes in Computer Science - FME 2001: Formal Methods for Increasing Software Productivity
◽
10.1007/3-540-45251-6_18
◽
2001
◽
pp. 318-343
◽
Cited By ~ 19
Author(s):
Dirk Beyer
Keyword(s):
Timed Automata
◽
Reachability Analysis
Download Full-text
SCHEDULING OF MULTI-PRODUCT BATCH PLANTS USING REACHABILITY ANALYSIS OF TIMED AUTOMATA MODELS
Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics
◽
10.5220/0001627501410148
◽
2007
◽
Keyword(s):
Timed Automata
◽
Reachability Analysis
◽
Batch Plants
Download Full-text
Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP
Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science
◽
10.1007/978-3-030-00244-2_18
◽
2018
◽
pp. 269-283
◽
Cited By ~ 1
Author(s):
Iulian Ober
Keyword(s):
Timed Automata
◽
Reachability Analysis
Download Full-text
On Reachability Analysis of Updatable Timed Automata with One Updatable Clock
Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science
◽
10.1007/978-3-319-31220-0_11
◽
2016
◽
pp. 147-161
◽
Cited By ~ 1
Author(s):
Yunqing Wen
◽
Guoqiang Li
◽
Shoji Yuen
Keyword(s):
Timed Automata
◽
Reachability Analysis
Download Full-text
Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks
Computer Aided Verification - Lecture Notes in Computer Science
◽
10.1007/3-540-44585-4_48
◽
2001
◽
pp. 506-517
◽
Cited By ~ 17
Author(s):
Zhe Dang
Keyword(s):
Timed Automata
◽
Reachability Analysis
Download Full-text
Binary Reachability Analysis of Discrete Pushdown Timed Automata
Computer Aided Verification - Lecture Notes in Computer Science
◽
10.1007/10722167_9
◽
2000
◽
pp. 69-84
◽
Cited By ~ 39
Author(s):
Zhe Dang
◽
Oscar H. Ibarra
◽
Tevfik Bultan
◽
Richard A. Kemmerer
◽
Jianwen Su
Keyword(s):
Timed Automata
◽
Reachability Analysis
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close