Sciweavers

1090 search results - page 10 / 218
» Case Study: Componentization of an Industrial Control System
Sort
View
HYBRID
1994
Springer
13 years 11 months ago
Hierarchical Hybrid Control: A Case Study
Datta N. Godbole, John Lygeros, Shankar Sastry
DATE
2006
IEEE
128views Hardware» more  DATE 2006»
13 years 11 months ago
Platform-based design of wireless sensor networks for industrial applications
We present a methodology, an environment and supporting tools to map an application on a wireless sensor network (WSN). While the method is quite general, we use extensively an exa...
Alvise Bonivento, Luca P. Carloni, Alberto L. Sang...
CASE
2011
102views more  CASE 2011»
12 years 7 months ago
Towards an automated verification process for industrial safety applications
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
Kleanthis Thramboulidis, Doaa Soliman, Georg Frey
IJMTM
2006
85views more  IJMTM 2006»
13 years 7 months ago
Simulation in agent-based control systems: MAST case study
: The paper discusses the role of simulation in agent-based control systems. We present the universal runtime interface enabling efficient interactions between the agent control, m...
Pavel Vrba
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
13 years 5 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...