Author

Pian Yu

34 papers · 1989–2026

1989peak 7 in 20212026

Frequent co-authors

Papers

showing 1–25 of 34 RSS

Leader–follower flocking based on distributed event‐triggered hybrid control

Computer Networks and Communications · International Journal of Robust and Nonlinear Control · 4 Feb 2015 · cited 64× · DOI ↗ · more like this ·

Summary In this paper, we proposed a new hybrid control algorithm to achieve leader–follower flocking in multi‐agent systems. In the algorithm, the position is transmitted continuously, whereas the velocity is utilized discretely, which is governed by a distributed event‐triggered mechanism, and the neighbors' velocity is not required to detect the event‐triggered condition for each agent. It is shown that stable flocking is achieved asymptotically while the connectivity of networks is preserved. A numerical example is provided to illustrate the theoretical results. Copyright © 2015 John Wiley & Sons, Ltd.

Distributed Event-Triggered Communication and Control of Linear Multiagent Systems Under Tactile Communication

Pian Yu, Carlo Fischione, Dimos V. Dimarogonas

Computer Networks and Communications · IEEE Transactions on Automatic Control · 13 Feb 2018 · cited 62× · DOI ↗ · more like this ·

This note is concerned with the consensus of linear multiagent systems under tactile communication. Motivated by the emerging tactile communication technology where extremely low latency has to be supported, a distributed event-triggered communication and control scheme is proposed for the data reduction of each agent. First, an event-triggered data reduction scheme is designed for the communication between neighbors. Under such a communication scheme, a distributed event-triggered output feedback controller is further implemented for each agent, which is updated asynchronously with the communication action. It is proven that the consensus of the underlying multiagent systems is achieved asymptotically. Furthermore, it is shown that the proposed communication and control strategy fulfils the reduction of both the frequency of communication and controller updates as well as excluding…

Distributed Motion Coordination for Multirobot Systems Under LTL Specifications

Pian Yu, Dimos V. Dimarogonas

Computational Theory and Mathematics · IEEE Transactions on Robotics · 2 Jul 2021 · cited 36× · DOI ↗ · more like this ·

This article investigates the online motion coordination problem for a group of mobile robots moving in a shared workspace, each of which is assigned a linear temporal logic specification. Based on the realistic assumptions that each robot is subject to both state and input constraints and can have only local view and local information, a fully distributed multirobot motion coordination strategy is proposed. For each robot, the motion coordination strategy consists of three layers. An offline layer precomputes the braking area for each region in the workspace, the controlled transition system, and a so-called potential function. An initialization layer outputs an initially safely satisfying trajectory. An online coordination layer resolves conflicts when one occurs. The online coordination layer is further decomposed into three steps. First, a conflict detection algorithm is…

Consensus and performance optimisation of multi‐agent systems with position‐only information via impulsive control

Li Ding, Pian Yu, Zhi‐Wei Liu +1 more

Computer Networks and Communications · IET Control Theory and Applications · 2013 · cited 32× · DOI ↗ · more like this ·

In this study, the consensus problem of second‐order multi‐agent systems (MAS) with position‐only information is studied. Allowable sampling period for which second‐order consensus can be achieved is obtained with two impulsive consensus algorithms. It is shown that if there is at least one eigenvalue of the Laplcian matrix with a non‐zero imaginary part, consensus cannot be achieved for sufficiently small or large impulsive periods for both algorithms. Furthermore, the convergence performance of the MAS is optimised. Convergence speed, asymptotical decay factor and per‐step decay factor of the error energy are utilised to investigate the convergence performance, and the relationship among impulsive period, topology structure and convergence performance is derived. Finally, numerical examples are given to validate our theoretical results.

Explicit Computation of Sampling Period in Periodic Event-Triggered Multiagent Control Under Limited Data Rate

Pian Yu, Dimos V. Dimarogonas

Computer Networks and Communications · IEEE Transactions on Control of Network Systems · 20 Dec 2018 · cited 26× · DOI ↗ · more like this ·

This paper investigates the coordination of nonlinear sampled-data multiagent systems subject to a data rate constraint. The purpose is to design resource-efficient communication and control strategies that guarantee exponential synchronization. Two implementation scenarios are considered: the period time-triggered control and the period event-triggered control. One of the main difficulties of the problem is to obtain an explicit formula for the maximum-allowable sampling period (MASP). To this end, an approach on finding the MASP for period time-triggered control is proposed first. Then, an asynchronous period event-triggered control strategy is formulated, and a communication function and a control function are designed for each agent to determine, respectively, whether the sampled state and control input should be transmitted at each sampling instant. Finally, the constraint of the…

Distributed event‐triggered consensus of general linear multi‐agent systems with quantised measurements

Pian Yu, Ding Li, Zhi‐Wei Liu +1 more

Computer Networks and Communications · IET Control Theory and Applications · November 2016 · cited 20× · DOI ↗ · more like this ·

This studies distributed event‐triggered consensus of general linear multi‐agent systems subject to quantised relative state measurements, where both uniform quantisation and logarithmic quantisation are considered. First, a distributed event‐triggered controller with uniform quantised relative states is proposed, where the controller of each agent is updated by properly defined event trigger function, so that bounded consensus can be achieved in finite‐time and Zeno behaviour is excluded. Then, a computational method is proposed to calculate the continuous states in event trigger function. Thus, continuous communication between neighbouring agents can be avoided. The results are extended to the situation of logarithmic quantisation, and a sufficient condition is proposed to guarantee the complete consensus. Finally, a numerical example is given to verify the theoretical results.

A ROS Package for Human-In-the-Loop Planning and Control under Linear Temporal Logic Tasks

Robin Baran, Xiao Tan, Péter Várnai +5 more

Computer Vision and Pattern Recognition · 23 Aug 2021 · cited 10× · DOI ↗ · more like this ·

In this paper, we propose a ROS software package for planning and control of robotic systems with a human-in-the-Ioop focus. The software uses temporal logic specifications, specifically Linear Temporal Logic, for a language-based method to develop correct-by-design high level robot plans. The approach is structured to allow a human to adjust the high-level plan online. A human may also take control of the robot (in a low-level control fashion), but the software prevents the human from implementing dangerous behaviour that would violate the high-level task specification. Finally, the planner is able to learn human-preferred high-level tasks by tracking human low-level control inputs in an inverse learning framework. The proposed approach is demonstrated in a warehouse setting with multiple robot agents to showcase the efficacy of the proposed solution.

Continuous-time control synthesis under nested signal temporal logic specifications

Pian Yu, Xiao Tan, Dimos V. Dimarogonas

eess.SY · September 2023 · cited 8× · arXiv ↗ · more like this ·

In this work, we propose a novel approach for the continuous-time control synthesis of nonlinear systems under nested signal temporal logic (STL) specifications. While the majority of existing literature focuses on control synthesis for STL specifications without nested temporal operators, addressing nested temporal operators poses a notably more challenging scenario and requires new theoretical advancements. Our approach hinges on the concepts of signal temporal logic tree (sTLT) and control barrier function (CBF). Specifically, we detail the construction of an sTLT from a given STL formula and a continuous-time dynamical system, the sTLT semantics (i.e., satisfaction condition), and the equivalence or under-approximation relation between sTLT and STL. Leveraging the fact that the satisfaction condition of an sTLT is essentially keeping the state within certain sets during certain time…

Online Control Synthesis for Uncertain Systems under Signal Temporal Logic Specifications

Pian Yu, Yulong Gao, Frank J. Jiang +2 more

eess.SY · March 2021 · cited 8× · arXiv ↗ · more like this ·

This paper studies the online control synthesis problem for uncertain discrete-time systems subject to signal temporal logic (STL) specifications. Different from existing techniques, this work proposes an approach based on STL, reachability analysis, and temporal logic trees. Firstly, a real-time version of STL semantics and a tube-based temporal logic tree (tTLT) are proposed. We show that the tTLT is an underapproximation for the STL formula, in the sense that a trajectory satisfying an tTLT also satisfies the corresponding STL formula. Secondly, an online control synthesis algorithm is designed. It is shown that when the STL formula is robustly satisfiable and the initial state of the system belongs to the initial root node of the tTLT, it is guaranteed that the trajectory generated by the control synthesis algorithm satisfies the STL formula. The effectiveness of the proposed…

Safe POMDP Online Planning among Dynamic Agents via Adaptive Conformal Prediction

Shili Sheng, Pian Yu, David Parker +2 more

cs.RO · April 2024 · cited 7× · arXiv ↗ · more like this ·

Online planning for partially observable Markov decision processes (POMDPs) provides efficient techniques for robot decision-making under uncertainty. However, existing methods fall short of preventing safety violations in dynamic environments. This work presents a novel safe POMDP online planning approach that maximizes expected returns while providing probabilistic safety guarantees amidst environments populated by multiple dynamic agents. Our approach utilizes data-driven trajectory prediction models of dynamic agents and applies Adaptive Conformal Prediction (ACP) to quantify the uncertainties in these predictions. Leveraging the obtained ACP-based trajectory predictions, our approach constructs safety shields on-the-fly to prevent unsafe actions within POMDP online planning. Through experimental evaluation in various dynamic environments using real-world pedestrian trajectory data…

A Window-Based Periodic Event-Triggered Consensus Scheme for Multiagent Systems

Marc Seidel, Michael Hertneck, Pian Yu +3 more

Computer Networks and Communications · IEEE Transactions on Control of Network Systems · 14 Feb 2024 · cited 5× · DOI ↗ · more like this ·

In this article, we consider the periodic event-triggered consensus problem for single-integrator multiagent systems. In existing approaches, consensus is typically achieved by trigger schemes enforcing a monotone decrease of a Lyapunov function. Such trigger schemes may, however, result in more transmissions than are actually required to ensure consensus or meet certain performance specifications. This is because a monotone decrease may be a rather conservative condition for a given Lyapunov function in an event-triggered setting. To overcome the conservativity, we propose a novel window-based trigger scheme, which allows us to leverage existing trigger schemes from the literature to derive less conservative ones. This is achieved by taking the past system behavior into account and allowing a temporary increase of the Lyapunov function as long as a decreasing tendency is still…

Flocking with a virtual leader based on distributed event-triggered hybrid control

Pian Yu, Li Ding, Zhi‐Wei Liu +2 more

Computer Networks and Communications · Chinese Control Conference · 26 Jul 2013 · cited 5× · OpenAlex ↗ · more like this ·

In this paper, a distributed event-triggered hybrid control is proposed to investigate flocking problem with a virtual leader in multi-agent systems. In the proposed control algorithm, the continuous relative position information are used while the relative velocity information are sampled at the instant determined by event-triggered mechanism. It is shown that stable flocking motion is achieved asymptotically while the connectivity of network is preserved, and the virtual leader is tracked. A numerical example is provided to illustrate the theoretical results.

Approximately symbolic models for a class of continuous-time nonlinear systems

Pian Yu, Dimos V. Dimarogonas

eess.SY · 19 Sep 2019 · cited 4× · arXiv ↗ · more like this ·

Discrete abstractions have become a standard approach to assist control synthesis under complex specifications. Most techniques for the construction of discrete abstractions are based on sampling of both the state and time spaces, which may not be able to guarantee safety for continuous-time systems. In this work, we aim at addressing this problem by considering only state-space abstraction. Firstly, we connect the continuous-time concrete system with its discrete (state-space) abstraction with a control interface. Then, a novel stability notion called controlled globally asymptotic/practical stability with respect to a set is proposed. It is shown that every system, under the condition that there exists an admissible control interface such that the augmented system (composed of the concrete system and its abstraction) can be made controlled globally practically stable with respect to…

The traditional Chinese medicine monomer Ailanthone improves the therapeutic efficacy of anti-PD-L1 in melanoma cells by targeting c-Jun

Pian Yu, Hui Wei, Shiguo Zhu +9 more

Computational Theory and Mathematics · Research Square · 29 Aug 2022 · cited 3× · DOI ↗ · more like this ·

Abstract Background: C-Jun, a critical component of AP-1, exerts essential functions in various tumors, including melanoma, and is believed to be a druggable target for cancer therapy. Unfortunately, no effective c-Jun inhibitors are currently approved for clinical use. The advent of immune checkpoint inhibitor (ICI) has brought a paradigm shift in melanoma therapy, but more than half of patients fail to exhibit clinical responses. The exploration of new combination therapies has become the current pursuit of melanoma treatment strategy. This study aims to screen out Chinese herbal monomers that can target c-Jun, explore the combined effect of c--Jun inhibitor and ICI, and further clarify the related molecular mechanism. Methods: We adopted a combinatorial screening strategy, including molecular docking, ligand-based online approaches and consensus quantitative structure-activity…

A fully distributed motion coordination strategy for multi-robot systems with local information

Pian Yu, Dimos V. Dimarogonas

cs.RO · 22 Apr 2020 · cited 3× · arXiv ↗ · more like this ·

This paper investigates the online motion coordination problem for a group of mobile robots moving in a shared workspace. Based on the realistic assumptions that each robot is subject to both velocity and input constraints and can have only local view and local information, a fully distributed multi-robot motion coordination strategy is proposed. Building on top of a cell decomposition, a conflict detection algorithm is presented first. Then, a rule is proposed to assign dynamically a planning order to each pair of neighboring robots, which is deadlock-free. Finally, a two-step motion planning process that combines fixed-path planning and trajectory planning is designed. The effectiveness of the resulting solution is verified by a simulation example.

Hierarchical control for uncertain discrete-time nonlinear systems under signal temporal logic specifications

Pian Yu, Dimos V. Dimarogonas

Computational Theory and Mathematics · 2021 60th IEEE Conference on Decision and Control (CDC) · 14 Dec 2021 · cited 2× · DOI ↗ · more like this ·

This paper studies the hierarchical control of uncertain discrete-time nonlinear systems under input constraints. First, the notion of robust approximate simulation relation is defined. We show that by properly designing a control interface, the robust approximate simulation relation can be constructed from a low-complexity, deterministic (abstract) system to the original system. Then, we apply the hierarchical control approach to the robust control synthesis under signal temporal logic specifications. The results show that this approach reduces the computational complexity of the control synthesis, and is in some cases applicable to a larger set of initial states. The effectiveness of the proposed approach is verified by a simulation example.

Time-Constrained Leader-Follower Multiagent Task Scheduling and Control Synthesis

Pian Yu, Dimos V. Dimarogonas

Computer Networks and Communications · IEEE Transactions on Control of Network Systems · 20 Aug 2021 · cited 2× · DOI ↗ · more like this ·

This article addresses the problem of time-constrained leader-follower multiagent task scheduling and control synthesis. The leader-follower multiagent system is subject to a set of dynamically activated tasks, each of which is associated with a relative deadline and can be completed at different quality-of-satisfaction (QoSa) levels. By taking into account the reward and cost of satisfying these tasks, a novel scheduling problem is formulated and a dynamic scheduling strategy is proposed. Based on the dynamic plan, distributed control laws are designed accordingly for the leader and follower agents. Under the condition that the information of the target regions is available only to the leader agents, it is shown that the proposed control laws guarantee the satisfaction of each task at its desired QoSa level. A simulation example is given to verify the theoretical results.

Distributed motion coordination for multi-robot systems under LTL specifications

Pian Yu, Dimos V. Dimarogonas

cs.RO · 16 Mar 2021 · cited 2× · arXiv ↗ · more like this ·

This paper investigates the online motion coordination problem for a group of mobile robots moving in a shared workspace, each of which is assigned a linear temporal logic specification. Based on the realistic assumptions that each robot is subject to both state and input constraints and can have only local view and local information, a fully distributed multi-robot motion coordination strategy is proposed. For each robot, the motion coordination strategy consists of three layers. An offline layer pre-computes the braking area for each region in the workspace, the controlled transition system, and a so-called potential function. An initialization layer outputs an initially safely satisfying trajectory. An online coordination layer resolves conflicts when one occurs. The online coordination layer is further decomposed into three steps. Firstly, a conflict detection algorithm is…

Time-constrained multi-agent task scheduling based on prescribed performance control

Pian Yu, Dimos V. Dimarogonas

eess.SY · April 2018 · cited 2× · arXiv ↗ · more like this ·

The problem of time-constrained multi-agent task scheduling and control synthesis is addressed. We assume the existence of a high level plan which consists of a sequence of cooperative tasks, each of which is associated with a deadline and several Quality-of-Service levels. By taking into account the reward and cost of satisfying each task, a novel scheduling problem is formulated and a path synthesis algorithm is proposed. Based on the obtained plan, a distributed hybrid control law is further designed for each agent. Under the condition that only a subset of the agents are aware of the high level plan, it is shown that the proposed controller guarantees the satisfaction of time constraints for each task. A simulation example is given to verify the theoretical results.

Adaptive selection of access path and join method

Yao An Lee, Pian Yu

Computer Networks and Communications · 7 Jan 2003 · cited 2× · DOI ↗ · more like this ·

An adaptive approach which utilizes the information embedded in indexes to identify the tuples satisfying a given predicate or having a match in a join operation is proposed. An access path (index or table scan) and a join method (index join, nested loop, sort-merge) are chosen to construct the results adaptively. This leads to the optimal evaluation of queries. With an efficient implementation, the adaptive decision process becomes a part of a query evaluation procedure, so that the overhead of the approach is minimized.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>

Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty

Pian Yu, Yong Li, David Parker +1 more

cs.RO · 26 Feb 2025 · cited 1× · arXiv ↗ · more like this ·

This work studies the planning problem for robotic systems under both quantifiable and unquantifiable uncertainty. The objective is to enable the robotic systems to optimally fulfill high-level tasks specified by Linear Temporal Logic (LTL) formulas. To capture both types of uncertainty in a unified modelling framework, we utilise Markov Decision Processes with Set-valued Transitions (MDPSTs). We introduce a novel solution technique for the optimal robust strategy synthesis of MDPSTs with LTL specifications. To improve efficiency, our work leverages limit-deterministic Büchi automata (LDBAs) as the automaton representation for LTL to take advantage of their efficient constructions. To tackle the inherent nondeterminism in MDPSTs, which presents a significant challenge for reducing the LTL planning problem to a reachability problem, we introduce the concept of a Winning Region (WR) for…

Explicit computation of sampling period in periodic event-triggered multi-agent control

Pian Yu, Dimos V. Dimarogonas

Computer Networks and Communications · KTH Publication Database DiVA (KTH Royal Institute of Technology) · June 2018 · cited 1× · DOI ↗ · more like this ·

This paper investigates the synchronization of nonlinear sampled-data multi-agent systems. The purpose is to obtain an explicit formula for the maximum allowable sampling period (MASP) that guarantees exponential synchronization. Two implementation scenarios are considered. We first propose an approach on finding the MASP for periodic time-triggered sampled-data control. Then, a periodic event-triggered communication and control strategy is formulated, where a communication function and a control function are designed for each agent to determine whether or not the sampled data or the control input should be transmitted at each sampling instant. It is shown that there is a tradeoff between the sampling frequency and the convergence performance. The theoretical results are illustrated in simulations.

Event-triggered consensus of general linear multi-agent systems with directed topology

Pian Yu, Li Ding, Zhi‐Wei Liu +1 more

Computer Networks and Communications · July 2015 · cited 1× · DOI ↗ · more like this ·

In this paper, consensus problem of general linear multi-agent systems is investigated with distributed event-triggered strategy, where directed communication topology is considered. Firstly, a distributed event-triggered controller is designed, so that the controller updates for each agent only trigger at its own triggering time instants. Then, a sufficient condition is presented to guarantee the consensus. It is shown that by utilizing only the information of neighbors, which is transmitted by neighbors at their own triggering time instants, consensus can be achieved asymptotically. Finally, a simulation example is presented to verify the theoretical results.

Fair Control of Uncertain Dynamical Systems under LTL Specifications

Can Zhou, Pian Yu, Thomas Parisini +2 more

Computational Theory and Mathematics · Spiral (Imperial College London) · 9 Dec 2025 · cited 0× · DOI ↗ · more like this ·

Uncertainties are inevitable for control of dynamical systems of practical relevance. The conventional robust control methods assume persistent worst-case realisations of uncertainties, which leads to conservative solutions. To relax this assumption, we exploit the fairness notion in formal verification to qualitatively capture realistic epistemic disturbance behaviours. We study the fair control problem, that is, to maximise the probability of satisfying an Linear Temporal Logic subject to an action-based fairness constraint for uncertain dynamical systems. The action-based fairness of epistemic disturbances can be defined flexibly: by their observed behaviour and/or by their interaction with control input, enabling both input-dependent and independent disturbance modelling. We develop a sound and complete methodology to perform correct-by-design synthesis. We show that this optimal…

Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives

Giuseppe De Giacomo, Yong Li, Sven Schewe +2 more

cs.FL · 22 May 2025 · cited 0× · arXiv ↗ · more like this ·

The temporal logics LTLf+ and PPLTL+ have recently been proposed to express objectives over infinite traces. These logics are appealing because they match the expressive power of LTL on infinite traces while enabling efficient DFA-based techniques, which have been crucial to the scalability of reactive synthesis and adversarial planning in LTLf and PPLTL over finite traces. In this paper, we demonstrate that these logics are also highly effective in the context of MDPs. Introducing a technique tailored for probabilistic systems, we leverage the benefits of efficient DFA-based methods and compositionality. This approach is simpler than its non-probabilistic counterparts in reactive synthesis and adversarial planning, as it accommodates a controlled form of nondeterminism (``good for MDPs") in the automata when transitioning from finite to infinite traces. Notably, by exploiting…