Design, Analysis, and Verification of an Electro- Hydrostatic Actuator for Distributed Actuation System.

Yang Li Zongxia Jiao Zimeng Wang

Published in: Sensors (2020)

Keyphrases

mechanical design
design methodology
design process
formal methods
formal verification
statistical analysis
computer aided
multi agent architecture
database
static analysis
engineering design
closed loop
distributed environment
building blocks
distributed systems
sensor networks
cooperative
case study
real time