We introduce sparse polynomial zonotopes, a new set representation for formal verification
of hybrid systems. Sparse polynomial zonotopes can represent nonconvex sets and are …

In this paper, the distributed set-membership filtering problem is studied for a class of
discrete time-varying systems over digital wireless sensor networks. In order to make full …

This paper presents a distributed state estimation method for nonlinear systems over sensor
networks with Semi-Markovian switching topologies (S-MSTs). An adaptive event-triggered …

Cyber–physical systems (CPSs), which combine computer science, control systems, and
physical elements, have become essential in modern industrial and societal contexts …

To protect civilian global positioning system (GPS) users from spoofing attacks, the US Air
Force Research Lab has proposed the chips-message robust authentication (Chimera) …

In this paper, we introduce a set representation called polynomial logical zonotopes for
performing exact and computationally efficient reachability analysis on logical systems. We …

Reachability analysis is a powerful tool for computing the set of states or outputs reachable
for a system. While previous work has focused on systems described by state-space models …

Verification and synthesis of Cyber–Physical Systems (CPS) are challenging and still raise
numerous issues so far. In this paper, based on a new concept of mixed sets defined as …

The set-based estimation has gained a lot of attention due to its ability to guarantee state
enclosures for safety-critical systems. However, collecting measurements from distributed …

Autonomous vehicles require sophisticated planning algorithms to navigate safely and
efficiently in complex environments. Traditional centralised planning approaches face …