LAUSR

About LAUSR
Donate
Contact Us

Follow us:

You are not signed in:

Sign Up!


   Articles with "synthesis distributed" as a keyword



SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers

Sign Up to like & get
recommendations! 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 & get
recommendations! 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
Photo from academic.microsoft.com

Network Synthesis for Distributed Embedded Systems

Sign Up to like & get
recommendations! 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

A Hybrid Algorithm for the Synthesis of Distributed Antenna Arrays with Excitation Range Control

Sign Up to like & get
recommendations! Published in 2025 at "Journal of Telecommunications and Information Technology"

DOI: 10.26636/jtit.2025.4.2293

Abstract: Excitation coefficients with a low dynamic range ratio (DRR) are advantageous in controlling mutual coupling between the elements of an antenna array. Their use also reduces the output power loss and simplifies the design of… read more here.

Keywords: hybrid algorithm; control; excitation; synthesis distributed ... See more keywords