Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828): Difference between revisions

@@ Property / DOI @@
-.1007/s10626-017-0240-2
@@ Property / DOI: 10.1007/s10626-017-0240-2 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Modechart
@@ Property / describes a project that uses: Modechart / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UPPAAL TIGA
@@ Property / describes a project that uses: UPPAAL TIGA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Synthia
@@ Property / describes a project that uses: Synthia / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Uppaal
@@ Property / describes a project that uses: Uppaal / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10626-017-0240-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2605203018
@@ Property / OpenAlex ID: W2605203018 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4439564
@@ Property / cites work: Q4439564 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038702
@@ Property / cites work: Q4038702 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552456
@@ Property / cites work: Q4552456 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Probabilistic Timed Automata with One or Two Clocks
+Normal rank
@@ Property / cites work @@
+Timed automata with urgent transitions
@@ Property / cites work: Timed automata with urgent transitions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552463
@@ Property / cites work: Q4552463 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimum-Time Reachability in Timed Games
@@ Property / cites work: Minimum-Time Reachability in Timed Games / rank @@
+Normal rank
@@ Property / cites work @@
+Timed I/O automata
@@ Property / cites work: Timed I/O automata / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete-time control for rectangular hybrid automata
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Task automata: Schedulability, decidability and undecidability
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for real-time systems
@@ Property / cites work: Symbolic model checking for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Timed I/O Automata
@@ Property / cites work: The Theory of Timed I/O Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Robust Specification of Real Time Components
@@ Property / cites work: Robust Specification of Real Time Components / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+A survey of timed automata for the development of real-time systems
+Normal rank
@@ Property / cites work @@
+A Model for Industrial Real-Time Systems
@@ Property / cites work: A Model for Industrial Real-Time Systems / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10626-017-0240-2
@@ Property / DOI: 10.1007/S10626-017-0240-2 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1693828