Decomposition of timed automata for solving scheduling problems (Q5172578): Difference between revisions

@@ 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.1080/00207721.2012.724099
+Normal rank
@@ Property / OpenAlex ID @@
+W2115611038
@@ Property / OpenAlex ID: W2115611038 / rank @@
+Normal rank
@@ Property / cites work @@
+Scheduling with timed automata
@@ Property / cites work: Scheduling with timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+The power of reachability testing for timed automata
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal paths in weighted timed automata
@@ Property / cites work: Optimal paths in weighted timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
+Normal rank
@@ Property / cites work @@
+Q4938626
@@ Property / cites work: Q4938626 / rank @@
+Normal rank
@@ Property / cites work @@
+Task automata: Schedulability, decidability and undecidability
+Normal rank
@@ Property / cites work @@
+Decomposition in automatic generation of Petri nets for manufacturing system control and scheduling
+Normal rank
@@ Property / cites work @@
+Hybrid automata: an insight into the discrete abstraction of discontinuous systems
+Normal rank
@@ Property / cites work @@
+Supervisory control of hybrid systems based on model abstraction and guided search
+Normal rank