Monotonic hybrid systems (Q2486564): Difference between revisions

@@ Property / describes a project that uses @@
+Charon
@@ Property / describes a project that uses: Charon / 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.1016/j.jcss.2004.11.003
+Normal rank
@@ Property / OpenAlex ID @@
+W1975647157
@@ Property / OpenAlex ID: W1975647157 / rank @@
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking in dense real-time
@@ Property / cites work: Model-checking in dense real-time / 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 @@
+Q4938622
@@ Property / cites work: Q4938622 / rank @@
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953375
@@ Property / cites work: Q4953375 / rank @@
+Normal rank
@@ Property / cites work @@
+A really temporal logic
@@ Property / cites work: A really temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Event-clock automata: a determinizable class of timed automata
+Normal rank
@@ Property / cites work @@
+Q4418693
@@ Property / cites work: Q4418693 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536599
@@ Property / cites work: Q4536599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4180283
@@ Property / cites work: Q4180283 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281508
@@ Property / cites work: Q4281508 / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of bounded concurrency I
@@ Property / cites work: On the power of bounded concurrency I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945221
@@ Property / cites work: Q4945221 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714448
@@ Property / cites work: Q5714448 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular and visual specification of hybrid systems: An introduction to HyCharts
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of nonlinear hybrid systems
@@ Property / cites work: Algorithmic analysis of nonlinear hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518893
@@ Property / cites work: Q4518893 / rank @@
+Normal rank
@@ Property / cites work @@
+What good are digital clocks?
@@ Property / cites work: What good are digital clocks? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249569
@@ Property / cites work: Q4249569 / rank @@
+Normal rank
@@ Property / cites work @@
+Metric temporal logic with durations
@@ Property / cites work: Metric temporal logic with durations / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847407
@@ Property / cites work: Q2847407 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536387
@@ Property / cites work: Q4536387 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrency in timed automata
@@ Property / cites work: Concurrency in timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+From timed automata to logic — and back
@@ Property / cites work: From timed automata to logic — and back / rank @@
+Normal rank
@@ Property / cites work @@
+Special issue on Hybrid systems
@@ Property / cites work: Special issue on Hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank