Millions of dedicated sensors are deployed in smart cities to enhance quality of urban living.
Communication technologies are critical for connecting these sensors and transmitting …

This article focuses on the leader-following consensus problem for a class of high-order
uncertain nonlinear multiagent systems (MASs) subject to denial-of-service (DoS) attacks …

In order to cope with uncertainties in a platoon, this paper proposes a reconfigurable multi-
agent architecture to address the platoon safety problem by handling two modes: the normal …

Business Process Model and Notation is known as a widely used standard for business
processes modeling. However, its main drawback is that it lacks formal semantics, leading to …

In this paper, the resilient control for linear discrete-time multi-agent networks subjected to
unconfined cyber-attacks is investigated based on a data-driven method. Firstly, according …

The principles of bio-inspired or swarm intelligence algorithms can be effectively used to
achieve optimal solutions in routing for complex and dynamic wireless sensor networks or …

The deadlock control problem in automated manufacturing systems (AMSs) has received
much attention in recent years due to the flexibility of an AMS. In the framework of Petri nets …

This paper deals with the formal verification of reconfigurable discrete event control systems
(RDECSs) using reconfigurable timed net condition/event systems (R-TNCESs) formalism. A …

This paper addresses the problem of sensor placement to assist a mobile vehicle that
navigates in an unknown environment. We refer this spatially and temporally varying …

Safety issue of vehicular platoons remains a critical challenge and is still open for
investigation. In this study, the authors propose an accurate simulation model for vehicular …