Sciweavers

2404 search results - page 78 / 481
» Postmodernism and Control Engineering
Sort
View
SCAM
2003
IEEE
15 years 11 months ago
Improving the Static Analysis of Loops by Dynamic Partitioning Techniques
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
Matthieu Martel
CCECE
2006
IEEE
16 years 8 days ago
Towards the System-on-Chip Realization of a Sensorless Vector Controller with Microsecond-order Computation Time
— The aim of this research is to implement sensorless vector control algorithms on a single, eventually reconfigurable, chip, with a computation timing constraint of, at most, 1...
Rachid Beguenane, Jean-Gabriel Mailloux, Sté...
COMPSAC
2005
IEEE
15 years 11 months ago
Designing Controllers for Reachability
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
Cristina Cerschi Seceleanu
CDC
2009
IEEE
126views Control Systems» more  CDC 2009»
15 years 11 months ago
Overcoming limitations of game-theoretic distributed control
—Recently, game theory has been proposed as a tool for cooperative control. Specifically, the interactions of a multiagent distributed system are modeled as a non-cooperative ga...
Jason R. Marden, Adam Wierman
IWSAS
2000
Springer
15 years 9 months ago
Mapping an Application to a Control Architecture: Specification of the Problem
Abstract. This paper deals with self-adapting software that is structured according to a control theory architecture. Such software contains, in addition to its main function, two ...
Mieczyslaw M. Kokar, Kevin M. Passino, Kenneth Bac...