From the F-100M in 1981 to the F-1.6G in 1987, Fujitsu developed many optical transmission systems for delivery to NTT and contributed to making optical fiber telecommunications more economical and ...

Abstract: A new robust motion tracking control design framework for uncertain synchronous motors based on differential flatness, artificial neural networks, sliding modes and swarm intelligence, is ...

This talk provides an overview of our current research on SMT-based model checking. We present an incremental and parallel model checking architecture to verify safety properties of synchronous ...

Abstract: Synchronous programs were introduced to simplify the development of reactive systems hiding the complexity and indeterminism of the interleaving while taking full advantage of possible ...

Modern power conversion requires ever-increasing efficiency combined with high power density. In fact, making a small high-efficiency system means saving space and reducing energy consumption, which ...

@component function And_base(; name) ### Symbolic Parameters __params = Any[] ### Variables __vars = Any[] append!(__vars, @variables u1(t)::Bool, [input = true ...