-
• Quasi-dynamic analysis, design optimization, and evaluation of a two-finger underactuated hand出版社:Mechatronics 时间:2016 作者:Saliba, M.A.;de Silv...
来源: 自动化与控制
-
• Automatic Control of Cycling Induced by Functional Electrical Stimulation With Electric Motor Assistance出版社:IEEE Transactions ... 时间:2016 作者:Matthew J. Bellman;R...
来源: 自动化与控制
-
• Special issue on “New approaches for DES modeling, analysis and synthesis”出版社:Discrete Event Dyn... 时间:2016 作者:Jean-Jacques Lesage;...
来源: 自动化与控制
-
• Supervisory control synthesis for deterministic context free specification languages出版社:Discrete Event Dyn... 时间:2016 作者:Anne-Kathrin Schmuck...
来源: 自动化与控制
-
• Synchronizing sequences on a class of unbounded systems using synchronized Petri nets出版社:Discrete Event Dyn... 时间:2016 作者:Marco Pocci;Isabel D...
来源: 自动化与控制
-
• VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems出版社:Discrete Event Dyn... 时间:2016 作者:Dieky Adzkiya;Yining...
来源: 自动化与控制
-
• A framework for compositional nonblocking verification of extended finite-state machines出版社:Discrete Event Dyn... 时间:2016 作者:Sahar Mohajerani;Rob...
来源: 自动化与控制
-
• Temporal Task Scheduling With Constrained Service Delay for Profit Maximization in Hybrid Clouds出版社:IEEE Transactions ... 时间:2016 作者:Haitao Yuan;Jing Bi;...
来源: 自动化与控制
-
• Multicontact Locomotion on Transfemoral Prostheses via Hybrid System Models and Optimization-Based Control出版社:IEEE Transactions ... 时间:2016 作者:Huihua Zhao;Jonathan...
来源: 自动化与控制
-
• Line spectrum detection algorithm based on the phase feature of target radiated noise出版社:Journal of Systems... 时间:2016 作者:Enming Zheng;Huabing...
来源: 自动化与控制