Abstract: This article studies the controller synthesis problem for nonlinear control systems under linear temporal logic (LTL) specifications using zonotope techniques. A local-to-global control ...
Abstract: Hybrid Electric Vehicles (HEVs) are affected to a high extent by Intelligent Energy Management Systems (IEMS), especially during situations that are challenging and unpredictable including ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback