Marco A. C. Barbosa

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Service-Oriented Architecture (SOA) is a paradigm for software development that has been increasingly adopted for factory automation. In SOA, services are independently developed and a central engine orchestrates their functional behavior according to the process workflow. If on one hand this orchestration is required to maximize performance and(More)
Modern systems tend to be larger, more complex and to depend on an increasingly numerous set of requirements. In contrast, system development practices remain human-centered, depending mostly on the engineer expertise to be carried out. This paper shows how maximally permissive and deadlock-free components of software can be automatically produced. We argue(More)
Coordinating concurrent multiple robots, in an efficient manner, is a task that challenges control engineers by its complexity. To be properly addressed, this task usually requires the support of formal approaches, such as the Supervisory Control Theory (SCT), which provides an automated way to calculate control strategies for event-based robots(More)
  • 1