Pages that link to "Item:Q4561454"
From MaRDI portal
The following pages link to Algorithms for exact and approximate linear abstractions of polynomial continuous systems (Q4561454):
Displaying 9 items.
- Complete abstractions of dynamical systems by timed automata (Q360650) (← links)
- Implicit semi-algebraic abstraction for polynomial dynamical systems (Q832202) (← links)
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- Computing difference abstractions of linear equation systems (Q2238208) (← links)
- Automatic abstraction of non-linear systems using change of bases transformations (Q2986722) (← links)
- Algebra, Coalgebra, and Minimization in Polynomial Differential Equations (Q2988361) (← links)
- On the Coalgebra of Partial Differential Equations (Q5092383) (← links)
- Hybrid Systems: Computation and Control (Q5307453) (← links)
- Automatic pre- and postconditions for partial differential equations (Q5925548) (← links)