3 search results - page 1 / 1 » Discrete-State Abstractions of Nonlinear Systems Using Multi... |
HYBRID
2009
Springer
14 years 1 days ago
2009
Springer
CDC
2009
IEEE
13 years 9 months ago
2009
IEEE
Abstract-- This paper studies the stabilizability of an ndimensional quantized feedforward nonlinear system. The state of that system is first quantized into a finite number of bit...
HYBRID
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...