1004 search results - page 18 / 201 » Modeling and Control - Flexible Structure Spacecraft |
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— In this paper the robust behavior in some piecewise affine systems with minimally spaced transition times is studied. Such systems are found e.g. in satellites and sat...
ICARCV
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—This paper studies the system stability of a ModelBased Networked Control System in the cases where packet losses follow a certain distributions. In this study, the unre...
69
Voted
AUTOMATICA
2004
14 years 9 months ago
2004
This paper addresses the development of a nonlinear model based interval model control system for the quasi-keyhole arc welding process, a novel arc welding process which has adva...
87
Voted
ICCAD
2003
IEEE
15 years 6 months ago
2003
IEEE
A new technique for the logic synthesis of asynchronous circuits is presented. It is based on the structural theory of Petri nets and integer linear programming. The technique is ...