CourseWare Wiki
Search
Log In
old
courses
a4m33au
term_en
Warning
This page is located in archive.
Differences
This shows you the differences between two versions of the page.
View differences:
Side by Side
Inline
Go
Link to this comparison view
Both sides previous revision
Previous revision
2014/04/17 00:54 vyskoji1 File moved, media files copied and media links repaired
2014/04/17 00:52 vyskoji1 File moved, media files copied and media links repaired
2014/04/17 00:46 vyskoji1 [Timed Automata Variant]
2014/04/01 21:12 jakubja5 [Technical Notes]
2014/04/01 21:11 jakubja5 [Technical Notes]
2014/04/01 21:10 jakubja5 [Technické poznámky]
2014/04/01 21:09 jakubja5 [Automated Reasoning Version]
2014/04/01 21:08 jakubja5 [Timed Automata Variant]
2014/04/01 21:02 jakubja5 [Varianta pomocí časových automatů]
2014/04/01 20:58 jakubja5 [Technical Notes]
2014/04/01 20:58 jakubja5 [Technické poznámky]
2014/04/01 20:53 jakubja5 [Automated Reasoning Version]
2014/04/01 16:56 jakubja5 [Railway Station Critical Situations]
2014/04/01 16:55 jakubja5 [Varianta automatické dokazování]
2014/04/01 16:51 jakubja5 [Data Formats]
2014/04/01 16:51 jakubja5 [Data Formats]
2014/04/01 16:49 jakubja5 [Data Formats]
2014/04/01 16:48 jakubja5 [Datové formáty]
2014/04/01 16:48 jakubja5 [Term Assignment - Railway Station]
2014/04/01 16:42 jakubja5 [Assignments]
2014/04/01 14:26 jakubja5 [Úkoly]
2014/04/01 14:22 jakubja5 [Railway Station Critical States]
2014/04/01 14:20 jakubja5 [Kritické stavy v nádraží]
2014/04/01 13:42 jakubja5 [Railway Station Properties]
2014/04/01 13:37 jakubja5
2014/04/01 13:23 jakubja5
2014/04/01 13:10 jakubja5
2014/04/01 13:05 jakubja5
2014/04/01 13:04 jakubja5
Go
Next revision
Previous revision
2014/04/17 00:54 vyskoji1 File moved, media files copied and media links repaired
2014/04/17 00:52 vyskoji1 File moved, media files copied and media links repaired
2014/04/17 00:46 vyskoji1 [Timed Automata Variant]
2014/04/01 21:12 jakubja5 [Technical Notes]
2014/04/01 21:11 jakubja5 [Technical Notes]
2014/04/01 21:10 jakubja5 [Technické poznámky]
2014/04/01 21:09 jakubja5 [Automated Reasoning Version]
2014/04/01 21:08 jakubja5 [Timed Automata Variant]
2014/04/01 21:02 jakubja5 [Varianta pomocí časových automatů]
2014/04/01 20:58 jakubja5 [Technical Notes]
2014/04/01 20:58 jakubja5 [Technické poznámky]
2014/04/01 20:53 jakubja5 [Automated Reasoning Version]
2014/04/01 16:56 jakubja5 [Railway Station Critical Situations]
2014/04/01 16:55 jakubja5 [Varianta automatické dokazování]
2014/04/01 16:51 jakubja5 [Data Formats]
2014/04/01 16:51 jakubja5 [Data Formats]
2014/04/01 16:49 jakubja5 [Data Formats]
2014/04/01 16:48 jakubja5 [Datové formáty]
2014/04/01 16:48 jakubja5 [Term Assignment - Railway Station]
2014/04/01 16:42 jakubja5 [Assignments]
2014/04/01 14:26 jakubja5 [Úkoly]
2014/04/01 14:22 jakubja5 [Railway Station Critical States]
2014/04/01 14:20 jakubja5 [Kritické stavy v nádraží]
2014/04/01 13:42 jakubja5 [Railway Station Properties]
2014/04/01 13:37 jakubja5
2014/04/01 13:23 jakubja5
2014/04/01 13:10 jakubja5
2014/04/01 13:05 jakubja5
2014/04/01 13:04 jakubja5
2014/04/01 13:03 jakubja5 created
Go
courses:a4m33au:term_en [2014/04/01 21:12]
jakubja5
[Technical Notes]
courses:a4m33au:term_en [2014/04/17 00:54]
(current)
vyskoji1
File moved, media files copied and media links repaired
Line 81:
Line 81:
-
===== Timed Automata
Variant
=====
+
===== Timed Automata
Version
=====
A railway station can be modeled both in discrete or in continues time. The control system determines the state of switches and signaling devices at every time moment.
A railway station can be modeled both in discrete or in continues time. The control system determines the state of switches and signaling devices at every time moment.
courses/a4m33au/term_en.1396379541.txt.gz
· Last modified: 2014/04/01 21:12 by
jakubja5