Items where authors include "Veres, S.M."

Article

Jasim, O.A. orcid.org/0000-0002-3934-6266 and Veres, S.M. (2020) A robust controller for multi rotor UAVs. Aerospace Science and Technology, 105. 106010. ISSN 1270-9638

Kamali, M., Dennis, L.A., McAree, O. et al. (2 more authors) (2017) Formal verification of autonomous vehicle platooning. Science of Computer Programming, 148. pp. 88-106. ISSN 0167-6423

Costalago-Meruelo, A., Simpson, D.M., Veres, S.M. et al. (1 more author) (2017) Predictive control of intersegmental tarsal movements in an insect. Journal of Computational Neuroscience, 43 (1). ISSN 0929-5313

Rohou, S., Jaulin, L., Mihaylova, L.S. orcid.org/0000-0001-5856-2223 et al. (2 more authors) (2017) Guaranteed computation of robot trajectories. Robotics and Autonomous Systems, 93. pp. 76-84. ISSN 0921-8890

Smyrnakis, M., Kladis, G.P., Aitken, J.M. orcid.org/0000-0003-4204-4020 et al. (1 more author) (2016) Distributed selection of flight formation in UAV missions. Journal of Applied Mathematics & Bioinformatics, 6 (3). pp. 93-124. ISSN 1792-6602

Qu, H., Smyrnakis, M. and Veres, S.M. (2016) SMCL - Stochastic Model Checker for Learning in Games. arXiv. (Submitted)

Veres, S.M., Fisher, M., Dennis, L. et al. (2 more authors) (2016) Practical Verification of Decision-Making in Agent-Based Autonomous Systems. Automated Software Engineering, 23 (3). pp. 305-359. ISSN 0928-8910

Qu, H. orcid.org/0000-0002-1643-8926 and Veres, S.M. (2016) Verification of logical consistency in robotic reasoning. Robotics and Autonomous Systems, 83. pp. 44-56. ISSN 0921-8890

Smyrnakis, M. and Veres, S.M. (2016) Fictitious play for cooperative action selection in robot teams. Engineering Applications of Artificial Intelligence, 56. pp. 14-29. ISSN 0952-1976

Smyrnakis, M., Aitken, J.M orcid.org/0000-0003-4204-4020 and Veres, S.M. (2016) Collision Avoidance of Two Autonomous Quadcopters. arXiv. (Submitted)

Chen, Q., Veres, S.M., Wang, Y. et al. (1 more author) (2015) Virtual Spring- Damper Mesh-Based Formation Control for Spacecraft Swarms in Potential Fields. Journal of Guidance, Control, and Dynamics, 38 (3). pp. 539-546. ISSN 0731-5090

Dennis, L.A., Fisher, M., Aitken, J. orcid.org/0000-0003-4204-4020 et al. (4 more authors) (2014) Reconfigurable Autonomy. KI - Künstliche Intelligenz, 28 (3). pp. 199-207. ISSN 0933-1875

Proceedings Paper

Jin, Y., Rossiter, J.A. orcid.org/0000-0002-1336-0633 and Veres, S.M. (2021) Accurate 6D object pose estimation and refinement in cluttered scenes. In: Galambos, P. and Kayacan, E., (eds.) Proceedings of the 2nd International Conference on Robotics, Computer Vision and Intelligent Systems. 2nd International Conference on Robotics, Computer Vision and Intelligent Systems (ROBOVIS 2021), 27-28 Oct 2021, Virtual conference. SCITEPRESS Digital Library , pp. 31-39. ISBN 9789897585371

Millan-Blanquel, L., Veres, S.M. orcid.org/0000-0003-0325-0710 and Purshouse, R.C. orcid.org/0000-0001-5880-1925 (2020) Ethical considerations for a decision making system for autonomous vehicles during an inevitable collision. In: 2020 28th Mediterranean Conference on Control and Automation (MED). 2020 28th Mediterranean Conference on Control and Automation (MED), 15-18 Sep 2020, Saint-Raphaël, France. IEEE . ISBN 9781728157436

Ghosh, A., Alonso Paredes Soto, D., Veres, S.M. et al. (1 more author) (2020) Human robot interaction for future remote manipulations in Industry 4.0*. In: Findeisen, R., Hirche, S., Janschek, K. and Mönnigmann, M., (eds.) IFAC-PapersOnLine. 21st IFAC World Congress 2020, 11-17 Jul 2020, Berlin, Germany. International Federation of Automatic Control (IFAC) , pp. 10223-10228.

Ghosh, A., Veres, S.M., Peredes-Soto, D. et al. (2 more authors) (2020) Intuitive programming with remotely instructed robots inside future gloveboxes. In: HRI '20: Companion of the 2020 ACM/IEEE International Conference on Human-Robot Interaction. HRI 2020 - ACM/IEEE International Conference on Human-Robot Interaction, 23-26 Mar 2020, Cambridge, UK. Association for Computing Machinery , pp. 209-211. ISBN 9781450370578

Jasim, O.A. orcid.org/0000-0002-3934-6266 and Veres, S.M. (2019) Nonlinear attitude control design and verification for a safe flight of a small-scale unmanned helicopter. In: 2019 6th International Conference on Control, Decision and Information Technologies (CoDIT). 2019 6th International Conference on Control, Decision and Information Technologies (CoDIT), 23-26 Apr 2019, Paris, France. IEEE . ISBN 9781728105222

Jasim, O. and Veres, S.M. (2018) Formal verification of quadcopter flight envelop using theorem prover. In: Proceedings of 2018 IEEE Conference on Control Technology and Applications (CCTA). 2nd IEEE Conference on Control Technology and Applications (CCTA 2018), 21-24 Aug 2018, Copenhagen, Denmark. IEEE , pp. 1502-1507. ISBN 978-1-5386-7698-1

Jasim, O.A. and Veres, S.M. (2017) Towards Formal Proofs of Feedback Control Theory. In: System Theory, Control and Computing (ICSTCC), 2017 21st International Conference on. 2017 21st International Conference on System Theory, Control and Computing (ICSTCC), 19-21 Oct 2017, Sinaia, Romania. IEEE , pp. 43-48.

McAree, O., Aitken, J.M. orcid.org/0000-0003-4204-4020 and Veres, S.M. (2017) Towards artificial situation awareness by autonomous vehicles. In: IFAC-PapersOnLine. 20th IFAC World Congress, 09/07/2017 - 14/07/2017, Toulouse, France. Elsevier , pp. 7038-7043.

McAree, O. and Veres, S.M. (2017) Lateral control of vehicle platoons with on-board sensing and Inter-Vehicle Communication. In: 2016 European Control Conference (ECC). 2016 European Control Conference (ECC), 29 Jun - 01 Jul 2016, Aalborg, Denmark. IEEE . ISBN 978-1-5090-2591-6

McAree, O., Aitken, J.M. and Veres, S.M. (2016) A model based design framework for safety verification of a semi-autonomous inspection drone. In: 2016 UKACC 11th International Conference on Control (CONTROL). UK Automatic Control Conference, 31 Aug - 02 Sep 2016, Belfast, UK. IEEE . ISBN 978-1-4673-9891-6

Dennis, L.A., Aitken, J.M. orcid.org/0000-0003-4204-4020, Collenette, J. et al. (8 more authors) (2016) Agent-based autonomous systems and abstraction engines: Theory meets practice. In: Alboul , L., Damian, D. and Aitken, J., (eds.) Towards Autonomous Robotic Systems. 17th Annual Conference, Towards Autonomous Robotics, TAROS 2016, 26 June 26 - 1 July, 2016, Sheffield . Lecture Notes in Computer Science (9716). Springer, Cham , pp. 75-86. ISBN 9783319403786

Douthwaite, J.A., Mihaylova, L.S. and Veres, S.M. (2016) Enhancing Autonomy in VTOL Aircraft Based on Symbolic Computation Algorithms. In: Towards Autonomous Robotic Systems. 17th Annual Conference of Towards Autonomous Robotic Systems, June 26--July 1, 2016, Sheffield, UK. Lecture Notes in Computer Science, 9716 . Springer International Publishing . ISBN 978-3-319-40378-6

Hazim, M.Y., Qu, H. orcid.org/0000-0002-1643-8926 and Veres, S.M. (2016) Testing, Verification and Improvements of Timeliness in ROS Processes. In: Alboul , L., Damian, D. and Aitken, J., (eds.) Towards Autonomous Robotic Systems, TAROS 2016. Towards Autonomous Robotic Systems 17th Annual Conference, TAROS 2016, 26 Jun - 01 Jul 2016, Sheffield, UK. Lecture Notes in Computer Science (9716). Springer Verlag , pp. 146-157. ISBN 978-3-319-40378-6

Qu, H., Kolling, A. and Veres, S.M. (2015) Computing Time-Optimal Clearing Strategies for Pursuit-Evasion Problems with Linear Programming. In: Towards Autonomous Robotic Systems. UNSPECIFIED. Lecture Notes in Computer Science, 9287 . Springer Verlag , pp. 216-228. ISBN 978-3-319-22415-2

Book

Rohou, S., Jaulin, L., Mihaylova, L. orcid.org/0000-0001-5856-2223, Le Bars, F. and Veres, S.M. (2019) Reliable robot localization : a constraint-programming approach over dynamical systems. Wiley . Wiley - Blackwell's , Oxford, UK , (284pp). ISBN 9781848219700