Denotational semantics of hybrid automata (Q2643331): Difference between revisions

@@ Property / describes a project that uses @@
+HyTech
@@ Property / describes a project that uses: HyTech / 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.jlap.2007.01.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2091166411
@@ Property / OpenAlex ID: W2091166411 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / 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 @@
+Viability theory
@@ Property / cites work: Viability theory / rank @@
+Normal rank
@@ Property / cites work @@
+On the Nature of the Spectrum of Singular Second Order Linear Differential                   Equations
+Normal rank
@@ Property / cites work @@
+Extension of functions satisfying a Lipschitz condition
+Normal rank
@@ Property / cites work @@
+Dynamical systems, measures, and fractals via domain theory
+Normal rank
@@ Property / cites work @@
+Power domains and iterated function systems
@@ Property / cites work: Power domains and iterated function systems / rank @@
+Normal rank
@@ Property / cites work @@
+Domain-theoretic solution of differential equations (scalar fields)
+Normal rank
@@ Property / cites work @@
+Domain theory and differential calculus (functions of one variable)
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852369
@@ Property / cites work: Q2852369 / rank @@
+Normal rank
@@ Property / cites work @@
+The way-below relation of function spaces over semantic domains
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+HyTech: A model checker for hybrid systems
@@ Property / cites work: HyTech: A model checker for hybrid systems / rank @@
+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 @@
+Q4953388
@@ Property / cites work: Q4953388 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3731958
@@ Property / cites work: Q3731958 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified hybrid controllers for automated vehicles
+Normal rank
@@ Property / cites work @@
+Q4948549
@@ Property / cites work: Q4948549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953411
@@ Property / cites work: Q4953411 / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict resolution for air traffic management: a study in multiagent hybrid systems
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2643331