Some decidable results on reachability of solvable systems (Q2871582): Difference between revisions

@@ Property / describes a project that uses @@
+Maple
@@ Property / describes a project that uses: Maple / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+REACH
@@ Property / describes a project that uses: REACH / 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.1080/03081079.2012.757604
+Normal rank
@@ Property / OpenAlex ID @@
+W2032269072
@@ Property / OpenAlex ID: W2032269072 / 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 @@
+Reachability analysis of dynamical systems having piecewise-constant derivatives
+Normal rank
@@ Property / cites work @@
+Model-checking continuous-time Markov chains
@@ Property / cites work: Model-checking continuous-time Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4050665
@@ Property / cites work: Q4050665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385444
@@ Property / cites work: Q4385444 / rank @@
+Normal rank
@@ Property / cites work @@
+On mean square boundedness of stochastic linear systems with bounded controls
+Normal rank
@@ Property / cites work @@
+Circular arithmetic and the determination of polynomial zeros
+Normal rank
@@ Property / cites work @@
+Q3856819
@@ Property / cites work: Q3856819 / 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 @@
+Q3902876
@@ Property / cites work: Q3902876 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic reachability computation for families of linear vector fields
+Normal rank
@@ Property / cites work @@
+Delay-dependent stabilization for linear time-delay uncertain systems with saturating actuators
+Normal rank
@@ Property / cites work @@
+Overapproximating reachable sets by Hamilton-Jacobi projections
+Normal rank
@@ Property / cites work @@
+Barrier certificates for nonlinear model validation
+Normal rank
@@ Property / cites work @@
+Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
+Normal rank
@@ Property / cites work @@
+Generating all polynomial invariants in simple loops
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Reliable stabilization of stochastic time-delay systems with nonlinear disturbances
+Normal rank
@@ Property / cites work @@
+Reachability analysis of rational eigenvalue linear systems
+Normal rank