Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology (Q843992): Difference between revisions

@@ Property / describes a project that uses @@
+Pyhybridanalysis
@@ Property / describes a project that uses: Pyhybridanalysis / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MATISSE
@@ Property / describes a project that uses: MATISSE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+d/dt
@@ Property / describes a project that uses: d/dt / 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/s10626-009-0082-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1499482550
@@ Property / OpenAlex ID: W1499482550 / 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 @@
+Q4806208
@@ Property / cites work: Q4806208 / rank @@
+Normal rank
@@ Property / cites work @@
+On the combinatorial and algebraic complexity of quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q4249563
@@ Property / cites work: Q4249563 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri net modelling of biological regulatory networks
+Normal rank
@@ Property / cites work @@
+On the regularization of Zeno hybrid automata
@@ Property / cites work: On the regularization of Zeno hybrid automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945221
@@ Property / cites work: Q4945221 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417994
@@ Property / cites work: Q4417994 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553263
@@ Property / cites work: Q4553263 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate simulation relations for hybrid systems
+Normal rank
@@ Property / cites work @@
+Approximate bisimulation relations for constrained linear systems
+Normal rank
@@ Property / cites work @@
+Hierarchical control system design using approximate simulation
+Normal rank
@@ Property / cites work @@
+Complexity of deciding Tarski algebra
@@ Property / cites work: Complexity of deciding Tarski algebra / 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 @@
+A cellular automaton model for neurogenesis in \textit{Drosophila}
+Normal rank
@@ Property / cites work @@
+Q4229041
@@ Property / cites work: Q4229041 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3672043
@@ Property / cites work: Q3672043 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:843992