3823 search results - page 535 / 765 » Stability of Hybrid Systems |
173
click to vote
SSS
2007
Springer
16 years 22 days ago
2007
Springer
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...
161
click to vote
AGILEDC
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper analyzes the reflections of an agile team, developing a large-scale project in an industry setting. The team uses an Iteration Summary Meeting practice, which includes ...
127
click to vote
DATE
2006
IEEE
16 years 21 days ago
2006
IEEE
A new methodology is presented to assure numerically reliable integration of the magnetisation slope in the JilesAtherton model of ferromagnetic core hysteresis. Two HDL implement...
203
click to vote
GLOBECOM
2006
IEEE
16 years 21 days ago
2006
IEEE
— This paper proposes a distributed optimization framework for wireless multihop sensor networks base on a game theoretic approach. We show that the cross-layer optimization prob...
163
click to vote
IJCNN
2006
IEEE
16 years 20 days ago
2006
IEEE
—Static Var Compensator (SVC) are employed for providing better voltage regulation and transient stability especially for increased power transfer through the transmission lines....