STORMED Hybrid Systems (Q3519497): Difference between revisions

@@ Property / author @@
+Geir E. Dullerud
@@ Property / author: Geir E. Dullerud / 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/978-3-540-70583-3_12
+Normal rank
@@ Property / OpenAlex ID @@
+W1594438783
@@ Property / OpenAlex ID: W1594438783 / 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 @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of dynamical systems having piecewise-constant derivatives
+Normal rank
@@ Property / cites work @@
+Deciding stability and mortality of piecewise affine dynamical systems
+Normal rank
@@ Property / cites work @@
+Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of polygonal hybrid systems. I: Reachability
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234084
@@ Property / cites work: Q4234084 / rank @@
+Normal rank
@@ Property / cites work @@
+O-minimal hybrid systems.
@@ Property / cites work: O-minimal hybrid systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+A Decidable Class of Planar Linear Hybrid Systems
@@ Property / cites work: A Decidable Class of Planar Linear Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+On the real exponential field with restricted analytic functions
+Normal rank
@@ Property / cites work @@
+Q4392286
@@ Property / cites work: Q4392286 / rank @@
+Normal rank
@@ Property / cites work @@
+STORMED Hybrid Systems
@@ Property / cites work: STORMED Hybrid Systems / rank @@
+Normal rank