In recent years, formal methods have been extensively used in the design of autonomous
systems. By employing mathematically rigorous techniques, formal methods can provide …

In recent years, automatic mobile robots (AMRs) have been widely concerned in various
fields, such as material handling, unmanned aerial vehicle (UAV) cruise, automatic factories …

This paper investigates the coordination of multiple agents for high-level tasks described by
linear temporal logics (LTL). The general purpose for multi-agent coordination is to …

In this letter, we address the path planning of multi-robot systems (ie, a team of identical
mobile robots) with a global high-level specification that is given as a Boolean formula over …

This research proposes an automatic strategy for planning a team of identical robots
evolving in a known environment. The robots should satisfy a global task for the whole team …

We propose a methodology for enforcing a set of coordination rules onto a multi-robot
system, based on the use of Petri nets to model the team of robots, safe linear temporal logic …

Offers an integrated presentation for path planning and motion control of cooperative mobile
robots using discrete-event system principles Generating feasible paths or routes between a …

In this paper, we investigate the problem of optimal multi-robot path planning for cyclic tasks
represented by a particular type of linear-temporal logic (LTL) formulae. Specifically, the …

Mobile robots are extensively used to complete repetitive operations in industrial areas such
as intelligent transportation, logistics, and manufacturing systems. This paper addresses the …

The high reliability of modern engineering systems is achieved by performing predictive
maintenance. Mathematical models based on stochastic timed colored Petri nets are an …