In the utilization of multirotor UAVs for the transport of suspended payloads, a good level of accuracy and precision, with minimal vibration of the multirotor, and stability of the payload are desired characteristics...
详细信息
In this letter, we consider the computational complexity of bounding the reachable set of a Linear Time-Invariant (LTI) systemcontrolled by a Rectified Linear Unit (ReLU) Two-Level Lattice (TLL) Neural Network (NN) c...
详细信息
In this letter, we consider the computational complexity of bounding the reachable set of a Linear Time-Invariant (LTI) systemcontrolled by a Rectified Linear Unit (ReLU) Two-Level Lattice (TLL) Neural Network (NN) controller. In particular, we show that for such a system and controller, it is possible to compute the exact one-step reachable set in polynomial time in the size of the TLL NN controller (number of neurons). Additionally, we show that a tight bounding box of the reachable set is computable via two polynomial-time methods: one with polynomial complexity in the size of the TLL and the other with polynomial complexity in the Lipschitz constant of the controller and other problem parameters. Finally, we propose a pragmatic algorithm that adaptively combines the benefits of (semi-)exact reachability and approximate reachability, which we call L-TLLBox. We evaluate L-TLLBox with an empirical comparison to a state-of-the-art NN controller reachability tool. In our experiments, L-TLLBox completed reachability analysis as much as $5000\times$ faster than this tool on the same network/system, while producing reach boxes that were from 0.08 to 1.42 times the area.
A decision-making method for power system transient stability control was proposed considering the uncertainties of wind generation and load. Firstly, the transient stability margin is defined taking the salient pole ...
详细信息
With the popularization of the mobile Internet, followed by the explosive growth of online reading, online reading has become an indispensable and important part of the spiritual life of the vast number of people. The...
详细信息
The Slave FIFO method is used to realize the interface programming of thrust gap detection of grating pump unit, which mainly involves the upper computer of precision detection system and the USB interface programming...
详细信息
To realize the high-precision clock synchronization of various types of control equipment in the industrial process control network, a high-precision clock synchronizing system is designed and implemented. The system ...
详细信息
This paper designs and realizes a marine engine room monitoring and alarm system based on the controller of Siemens PLC, introduces the design means and the practice process in detail, optimizes the system structure t...
详细信息
With evolving VLSI design methodologies, complex-ity is rising as the demand for low power becomes increasingly stringent. Validation and simulation methodologies are being pushed to their limits to tackle intricate s...
详细信息
The idea of knowledge-based engineering is to widely automate design tasks and support developers in the analysis and syntheses of complex engineering artifacts. A very common application is product configuration. In ...
详细信息
Cross-language communication is very important for people from different countries. While existing translation systems have some advantages, they have shortcomings such as low translation accuracy and slow translation...
详细信息
暂无评论