5423 search results - page 114 / 1085 » Denial-of-service in automation systems |
184
click to vote
CSL
2006
Springer
15 years 6 months ago
2006
Springer
Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...
153
click to vote
ETFA
2008
IEEE
16 years 27 days ago
2008
IEEE
Industrial and building automation systems are more and more important in industry and buildings. New services and novel fields of application call for dependable systems. Two ver...
165
click to vote
ETFA
2008
IEEE
15 years 8 months ago
2008
IEEE
Technological advancements in communication and embedded computing lead to the increasing application of decentralized structures in automation and control. The decentralization a...
134
click to vote
HICSS
2006
IEEE
16 years 15 days ago
2006
IEEE
The protection and control systems in the US utility industry are still primarily composed of electromechanical relays and systems. Over 80 percent of the relays are still electro...
131
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
We compare the expressive power of a class of well-structured transition systems that includes relational automata, Petri nets, lossy channel systems, and constrained multiset rewr...