13717 search results - page 177 / 2744 » Control Systems |
129
click to vote
JCS
2008
15 years 3 months ago
2008
The protection of privacy is an increasing concern in our networked society because of the growing amount of personal information that is being collected by a number of commercial...
129
click to vote
HYBRID
1995
Springer
15 years 7 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
140
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
128
Voted
CLOUDCOM
2010
Springer
15 years 1 months ago
2010
Springer
The Semantic Web is gaining immense popularity-and with it, the Resource Description Framework (RDF) broadly used to model Semantic Web content. However, access control on RDF sto...
111
click to vote
ISCAS
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper fuzzy controllers are designed for FACTS devices in interconnected power systems. Two typical FACTS devices, STATCOM and UPFC, are used as examples to show that FACT...