Professor Arthur G Richards

M.Eng.(Cantab.), S.M.(M.I.T.), Ph.D. (M.I.T.)

  • BS16 1QY

20012020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Chapter in a book
2016

Verification of Control Systems Implemented in Simulink with Assertion Checks and Theorem Proving: A Case Study

Araiza Illan, D., Eder, K. & Richards, A., 2016, (Accepted/In press) European Control Conference. Institute of Electrical and Electronics Engineers (IEEE), 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapter in a book

2003

Multi-Task Allocation and Path Planning for Cooperating UAVs

Bellingham, J., Tillerson, M., Richards, AG. & How, J., 2003, Cooperative Control: Models, Applications and Algorithms. B., Murphey, S. . & R; Pardalos, P. (eds.). Springer, p. 23 - 42 20 p.

Research output: Chapter in Book/Report/Conference proceedingChapter in a book