45,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
payback
23 °P sammeln
  • Broschiertes Buch

The book deals with reconfigurable embedded control systems following component based approaches. Assuming their behaviors to be adapted by automatic reconfigurations, we define components as software units such that a system is implemented by a network of components. We propose a multi-agent architecture to handle automatic reconfigurations where local scenarios are handled by reconfiguration agents in controllers, and a coordination agent is designed to coordinate between devices. We develop NCES-based optimal models for this architecture, use SESA to verify CTL properties, and address the…mehr

Produktbeschreibung
The book deals with reconfigurable embedded control systems following component based approaches. Assuming their behaviors to be adapted by automatic reconfigurations, we define components as software units such that a system is implemented by a network of components. We propose a multi-agent architecture to handle automatic reconfigurations where local scenarios are handled by reconfiguration agents in controllers, and a coordination agent is designed to coordinate between devices. We develop NCES-based optimal models for this architecture, use SESA to verify CTL properties, and address the generation of different real-time reconfigurable execution models for systems. Thereafter, an agent-based technique is engineered allowing low-power reconfigurations of embedded controllers. Finally, optimized simulations of systems are performed.
Autorenporträt
The author received the B.S. Degree in Computer Science (CS) from Tunis University, Tunisia, in 2001, the M.S. Degree in Telecommunication and Services from Henri Poincaré University, France, in 2003, the PhD Diploma in CS from INPL, France, in 2007, and the Habilitation Diploma in CS at Martin Luther University, Germany, in 2012.