Formal language properties of hybrid systems with strong resets (Q5190079): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2016804059
@@ Property / OpenAlex ID: W2016804059 / 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 @@
+Formal Methods for the Design of Real-Time Systems
+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 @@
+Q4763590
@@ Property / cites work: Q4763590 / rank @@
+Normal rank
@@ Property / cites work @@
+Event-clock automata: a determinizable class of timed automata
+Normal rank
@@ Property / cites work @@
+Q4552456
@@ Property / cites work: Q4552456 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839068
@@ Property / cites work: Q3839068 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552463
@@ Property / cites work: Q4552463 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264103
@@ Property / cites work: Q4264103 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4807830
@@ Property / cites work: Q4807830 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!
+Normal rank
@@ Property / cites work @@
+Undecidability Results for Timed Automata with Silent Transitions
+Normal rank
@@ Property / cites work @@
+Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
+Normal rank
@@ Property / cites work @@
+A note on the undecidability of the reachability problem for o-minimal dynamical systems
+Normal rank
@@ Property / cites work @@
+On the expressiveness and decidability of o-minimal hybrid systems
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and \(p\)-recognizable sets of integers
@@ Property / cites work: Logic and \(p\)-recognizable sets of integers / rank @@
+Normal rank
@@ Property / cites work @@
+Composing Semi-algebraic O-Minimal Automata
@@ Property / cites work: Composing Semi-algebraic O-Minimal Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934330
@@ Property / cites work: Q4934330 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2708466
@@ Property / cites work: Q2708466 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4392286
@@ Property / cites work: Q4392286 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable Problems About Timed Automata
@@ Property / cites work: Undecidable Problems About Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+What's decidable about hybrid automata?
@@ Property / cites work: What's decidable about hybrid automata? / rank @@
+Normal rank
@@ Property / cites work @@
+Timed automata and recognizability
@@ Property / cites work: Timed automata and recognizability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4336034
@@ Property / cites work: Q4336034 / rank @@
+Normal rank
@@ Property / cites work @@
+Definable Sets in Ordered Structures. II
@@ Property / cites work: Definable Sets in Ordered Structures. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249569
@@ Property / cites work: Q4249569 / rank @@
+Normal rank
@@ Property / cites work @@
+O-minimal hybrid systems.
@@ Property / cites work: O-minimal hybrid systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid systems. Computation and control. 1st international workshop, HSCC '98, Berkeley, CA, USA, April 13--15, 1998. Proceedings
+Normal rank
@@ Property / cites work @@
+Model Theory
@@ Property / cites work: Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953401
@@ Property / cites work: Q4953401 / rank @@
+Normal rank
@@ Property / cites work @@
+Definable Sets in Ordered Structures. I
@@ Property / cites work: Definable Sets in Ordered Structures. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3940830
@@ Property / cites work: Q3940830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5652669
@@ Property / cites work: Q5652669 / rank @@
+Normal rank
@@ Property / cites work @@
+Folk theorems on the determinization and minimization of timed automata
+Normal rank
@@ Property / cites work @@
+Q4531675
@@ Property / cites work: Q4531675 / rank @@
+Normal rank
@@ Property / cites work @@
+Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
+Normal rank