UM

Browse/Search Results:  1-2 of 2 Help

Selected(0)Clear Items/Page:    Sort:
Model checking bounded continuous-time Extended Linear Duration Invariants Conference paper
HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
Authors:  An J.;  Zhan N.;  Li X.;  Zhang M.;  Yi W.
Favorite |  | TC[WOS]:1 TC[Scopus]:3 | Submit date:2019/02/14
Duration calculus  ELDI  Model checking  Quantified linear real arithmetic  Timed automata  
Hybrid control strategy for the autonomous transition flight of a fixed-wing aircraft Journal article
IEEE Transactions on Control Systems Technology, 2012,Volume: 21,Issue: 6,Page: 2194-2211
Authors:  Pedro Casau;  David Cabecinhas;  Carlos Silvestre
Favorite |  | TC[WOS]:0 TC[Scopus]:20 | Submit date:2019/02/13
Aerospace Applications  Hybrid Automata  Nonlinear Control  Unmanned Air Vehicles (Uavs)  Vertical Take-off And lAnding (Vtol) Vehicles