SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Access"
DOI: 10.1109/access.2020.3037780
Abstract: This article proposes a new method for automatic synthesis of distributed discrete-state controllers from given temporal specification and behavior examples. The proposed method develops known synthesis methods to the distributed case, which is a fundamental… read more here.
Keywords: synthesis; guided inductive; synthesis distributed; counterexample guided ... See more keywords
Synthesis of Distributed Array Consisting of Two Subarrays via Hybrid Method of Differential Evolution Optimization and Convex Optimization
Sign Up to like & getrecommendations! Published in 2021 at "IEEE Antennas and Wireless Propagation Letters"
DOI: 10.1109/lawp.2020.3035177
Abstract: In this letter, we present a hybrid optimization method for the synthesis of distributed array consisting of two identical subarrays, which is mainly used on aeroplanes as the front end of communication system, aiming to… read more here.
Keywords: distributed array; optimization; consisting two; array consisting ... See more keywords
Network Synthesis for Distributed Embedded Systems
Sign Up to like & getrecommendations! Published in 2018 at "IEEE Transactions on Computers"
DOI: 10.1109/tc.2018.2812797
Abstract: The amazing proliferation of communication technologies for embedded systems opens the way for completely new applications but forces designers to adopt new methodologies to meet time-to-market constraints. Computer-Aided Design (CAD) has been traditionally applied to… read more here.
Keywords: synthesis distributed; network; network synthesis; distributed embedded ... See more keywords