1 – 6 of 6
- show: 50
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2007
-
Mark
Convex programs for temporal verification of nonlinear dynamical systems
(
- Contribution to journal › Article
- 2005
-
Mark
On Model Reduction of Polynomial Dynamical Systems
2005) p.1666-1671(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On the necessity of barrier certificates
2005)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2004
-
Mark
On Analysis and Synthesis of Safe Control Laws
2004)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Nonlinear Control Synthesis by Convex Optimization
(
- Contribution to journal › Article
- 2003
-
Mark
On Homogeneous Density Functions
2003)(
- Chapter in Book/Report/Conference proceeding › Book chapter