scientific article; zbMATH DE number 2085315
controllability kernelcyclic patternsedge-cyclesphase portraitPoincaré-Bendixson theorempolygonal hybrid systempredecessorsqualitative behaviorsuccessorsviability kernel
Ordinary differential inclusions (34A60) Theory of limit cycles of polynomial and analytic vector fields (existence, uniqueness, bounds, Hilbert's 16th problem and ramifications) for ordinary differential equations (34C07) Formal languages and automata (68Q45) Controllability (93B05) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
- scientific article; zbMATH DE number 2147040
- Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools
- Verification, Model Checking, and Abstract Interpretation
- Theory and method of the phase portrait of dynamic systems with control
- Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
- Theory and method of the phase portrait of dynamic systems with control
- Qualitative analysis of behavior of systems of piecewise linear differential equations with two state variables
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools
- Tracking differentiable trajectories across polyhedra boundaries
- Rectangular phase-portrait approximation based on qualitative reasoning
- A survey on polygonal portraits of manifolds
- scientific article; zbMATH DE number 67863 (Why is no real title available?)
- About the decision of reachability for register machines
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4736573)
