Keyword:control

Papers
Controlling External Devices by Using Speech and Simple Eye Movements Duy Long Dao, Thanh An Le, Anh Tai Tran and Minh Huong Nguyen Thi In:Proceedings of International Symposium on Applied Science 2019
Controlling and Monitoring of Projects Based on Geo-Information System Technology Allabergan Babajanov, Rashid Abdiramanov and Utkir Islomov EasyChair Preprint no. 3242
Lighting Control Design Using Arduino Microcontroller And Delphi Application As Interface Wisnu Alis Munandar, Ismail Fikkry and Ofah Musyarrofah EasyChair Preprint no. 3011
ANN and Elements of Differentional Games in the Model of Regulated Wheel Slippage Process in a Braking Mode Alexey Fedin, Yaroslav Kalinin and Evgeniy Marchuk EasyChair Preprint no. 2875
Digitalization in Control Plamen Iliev EasyChair Preprint no. 2230
Reasonability of using LMS Moodle tests as a form of control in teaching a foreign language for students of secondary vocational education Svetlana Kapsargina and Julia Olentsova EasyChair Preprint no. 2071
Integration of the “Smart House” Concept into the Infrastructure of the Modern City Igor Eliseev, Boris Shifrin, Mariia Novikova and Viktoria Sokolova EasyChair Preprint no. 1862
Development of a Haptic System to Assess Wrist Control in Healthy and Injured Test Subjects Xianghua Liu, Stuart Bowyer and Joshua W Giles In:CAOS 2017. 17th Annual Meeting of the International Society for Computer Assisted Orthopaedic Surgery
A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems Dalibor Drzajic, Nikolaos Kariotoglou, Maryam Kamgarpour and John Lygeros In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Verifying a PI Controller using SoapBox and Stabhyli Eike Möhlmann, Willem Hagemann and Astrid Rakow In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Benchmark problem: an air brake model for trains Luca Parolini, Simone Schuler and Adolfo Anta In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Benchmark: Quadrotor Attitude Control A. E. C. Da Cunha In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
BluSTL: Controller Synthesis from Signal Temporal Logic Specifications Alexandre Donzé and Vasumathi Raman In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability Ibtissem Ben Makhlouf and Stefan Kowalewski In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Progress on Powertrain Verification Challenge with C2E2 Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra and Mahesh Viswanathan In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark Jyotirmoy Deshmukh, Hisahiro Ito, Xiaoqing Jin, James Kapinski, Ken Butts, Juergen Gerhard, Behzad Samadi, Kevin Walker and Yuzhen Xie In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Benchmark: Reachability on a model with holes Thomas Heinz, Jens Oehlerking and Matthias Woehrle In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools Ibtissem Ben Makhlouf and Stefan Kowalewski In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems