In spatially distributed systems such as smart buildings and intelligent transportation systems, control of spatio-temporal patterns is an important issue. this paper, we consider a finite-horizon optimal pattern problem where the specified by signal logic formula over finite traces, which will be called SSTLf formula. We give syntax Boolean semantics SSTLf. Then, show linear encodings temporal...

A new approach for the synthesis of both sum and difference antenna pattern is proposed. The approach allows to obtain an optimal sum pattern and a sub-optimal difference pattern through the search of a minimal cost path inside an incomplete binary tree.