Autonomous systems in uncertain dynamic environments must reconfigure themselves in response to unanticipated events and goals in real-time. To provide a high assurance of real-time embedded systems, fault-aware executable specification and verification of this fault-aware specification are necessary. We present a method for synthesizing an executable code from a fault-aware specification. We a...

Motion planning refers to the ability of a system to automatically plan its motions. It is considered central to the development of autonomous robots. In the last decade, much research effort was done on the application of probabilistic roadmaps methods (PRM) for different types of problems (Kavraki et al., 1996; Svestka & Overmars, 1997; Bohlin & Kavraki, 2000; Sánchez & Latombe, 2002). There ...

The increased deployment of distributed generation calls for the coordination and interaction between transmission distribution levels. This requirement is particularly relevant planning purposes when renewable-based involved. Unfortunately, in current industry practice, network planners solve their problems independent each other, thereby leading to suboptimal solutions. Within this context, p...