Cooperation among heterogeneous agricultural field robots in an agricultural environment
guarantees the advantages of effectiveness and scalability. However, traditional control …

Wireless technology is a solution to reach hard-to-reach places using cable technology. The
use of wireless technology can reach these areas without using copper or cables in the data …

Formal methods help in coping with the growing functionality and complexity, time-to-market
and costs in cyber-physical systems (CPSs). Supervisory control synthesis (SCS) is such a …

Polytechnic as a vocational education institution has to keep updating its curriculum with
innovation and the latest technology application in industry and domestic. Teaching learning …

Field robot systems have recently been applied in a wide range of research fields. Further
automation, development, and activation of such systems require cooperation among …

Discrete event systems (DESs) are powerful abstract representations for large human-made
physical systems in a wide variety of industries. Safety control issues on DESs have been …

A discrete event system (DES) is a dynamic system in which the state of a system is changed
by the occurrence of an event. This study presents the formal modeling for agricultural …

A chaotic navigation algorithm is designed for an autonomous agent, that has the objective
of exploring a given area, whilst moving unpredictably. The algorithm uses the Renyi map as …

In the coming decades, numerous locks and bridges in the Netherlands have to be
renovated or replaced, as they reach their end-of-life or have capacity problems. In the past …

Supervisory control synthesis for discrete-event systems can help in overcoming the growing
complexity in the process of designing supervisors for cyber-physical systems. This is …