Search results for: Laurent Hardouin
IEEE Transactions on Automation Science and Engineering > 2017 > 14 > 4 > 1731 - 1742
IEEE Transactions on Automatic Control > 2017 > 62 > 5 > 2153 - 2165
Automatica > 2017 > 75 > C > 202-209
Engineering Applications of Artificial Intelligence > 2016 > 55 > C > 307-319
IEEE Transactions on Automatic Control > 2016 > 61 > 8 > 2187 - 2202
Automatica > 2016 > 70 > C > 9-13
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Worst-Case Traversal Time (WCTT) > 184-197
Lecture Notes in Electrical Engineering > Informatics in Control, Automation and Robotics > Signal Processing, Systems Modeling and Control > 265-272
Lecture Notes in Electrical Engineering > Informatics in Control Automation and Robotics > Part II: Robotics and Automation > 173-186
Automatica > 2016 > 63 > C > 338-348
53rd IEEE Conference on Decision and Control > 5143 - 5148
53rd IEEE Conference on Decision and Control > 5967 - 5972
Linear Algebra and Its Applications > 2014 > 459 > Complete > 384-396
Linear Algebra and Its Applications > 2014 > 445 > Complete > 69-84
IEEE Transactions on Automatic Control > 2014 > 59 > 7 > 1968 - 1973