844 search results - page 152 / 169 » Reachability in Linear Dynamical Systems |
101
click to vote
LATA
2010
Springer
14 years 9 months ago
2010
Springer
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we conside...
IROS
2008
IEEE
15 years 5 months ago
2008
IEEE
— The standard control problem of the pendubot refers to the task of stabilizing its equilibrium configuration with the highest potential energy. Linearization of the dynamics o...
HASKELL
2008
ACM
14 years 12 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
102
click to vote
VISUALIZATION
1991
IEEE
15 years 2 months ago
1991
IEEE
We describe a software system, TOPO, that numerically analyzes and graphically displays topological aspects of a three dimensional vector field, v, to produce a single, relativel...
102
click to vote
TASE
2008
IEEE
14 years 10 months ago
2008
IEEE
Applications such as layered manufacturing, or in general, solid free-form fabrication, pose a major challenge on online process control. For these parts to be functional, it is i...