197 search results - page 1 / 40 » Model Checking Control Communication of a FACTS Device |
ICPPW
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...
IJCNN
2007
IEEE
13 years 11 months ago
2007
IEEE
—Wide-area coordinating control is becoming an important issue and a challenging problem in the power industry. This paper proposes a novel optimal wide-area monitor and wide-are...
NN
2008
Springer
13 years 4 months ago
2008
Springer
Wide-area coordinating control is becoming an important issue and a challenging problem in the power industry. This paper proposes a novel optimal wide-area coordinating neurocont...
SAFECOMP
2009
Springer
13 years 11 months ago
2009
Springer
The advanced electric power grid is a cyber-physical system comprised of physical components such as transmission lines and generators and a network of embedded systems deployed fo...
ICMB
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper describes a prototype system, ZoneIT, for selectively controlling functionality of mobile devices, e.g. ringing of cellular telephones. ZoneIT exploits the fact that ma...