Keyword:control

Papers
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