David A. Anisi

According to our database, David A. Anisi authored at least 16 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Model Checking and Verification of Synchronisation Properties of Cobot Welding.

Yvonne Murray, Henrik Nordlie, David A. Anisi, Pedro Ribeiro, Ana Cavalcanti

Proceedings of the Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, 2024

Safety assurance of autonomous agricultural robots: from offline model-checking to runtime verification.

Mustafa Adam, Elias E. Hartmark, Tage Andersen, David A. Anisi, Ana Cavalcanti

Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024

2023

Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment.

Mustafa Adam, Kangfeng Ye, David A. Anisi, Ana Cavalcanti, Jim Woodcock, Robert Morris

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

2022

Safety assurance of an industrial robotic control system using hardware/software co-verification.

Yvonne Murray, Martin Sirevåg, Pedro Ribeiro, David A. Anisi, Morten Mossige

Sci. Comput. Program., 2022

2020

Safety Assurance of a High Voltage Controller for an Industrial Robotic System.

Yvonne Murray, David A. Anisi, Martin Sirevåg, Pedro Ribeiro, Rabah Saleh Hagag

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

2019

Survey of Formal Verification Methods for Smart Contracts on Blockchain.

Yvonne Murray, David A. Anisi

Proceedings of the 10th IFIP International Conference on New Technologies, 2019

A predictive learning approach to optimal load sharing in energy management systems.

Elene M. Espeland, Byung K. Jung, David A. Anisi

Proceedings of the 17th European Control Conference, 2019

2017

State classification for autonomous gas sample taking using deep convolutional neural networks.

David A. Anisi, Svein Gjermund Tveide, Valentinos Kongezos

Proceedings of the 25th Mediterranean Conference on Control and Automation, 2017

2014

Collision avoidance with potential fields based on parallel processing of 3D-point cloud data on the GPU.

Knut B. Kaldestad, Sami Haddadin, Rico Belder, Geir Hovland, David A. Anisi

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

2012

Obstacle Detection in an Unstructured Industrial Robotic System: Comparison of Hidden Markov Model and Expert System.

Knut B. Kaldestad, Geir Hovland, David A. Anisi

Proceedings of the 10th IFAC Symposium on Robot Control, SyRoCo 2012, Dubrovnik, Croatia, 2012

2011

Real-world demonstration of sensor-based robotic automation in oil & gas facilities.

David A. Anisi, Erik Persson, Clint Heyer

Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011

2010

Cooperative Minimum Time Surveillance With Multiple Ground Vehicles.

David A. Anisi, Petter Ögren, Xiaoming Hu

IEEE Trans. Autom. Control., 2010

Robot automation in oil and gas facilities: Indoor and onsite demonstrations.

David A. Anisi, Johan Gunnar, Tommy Lillehagen, Charlotte Skourup

Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

2009

Algorithms for the Connectivity Constrained Unmanned Ground Vehicle Surveillance Problem.

David A. Anisi, Therese Lindskog, Petter Ögren

Proceedings of the 10th European Control Conference, 2009

2008

Cooperative surveillancemissionswith multiple unmanned ground vehicles (UGVs).

David A. Anisi, Petter Ögren, Xiaoming Hu, Therese Lindskog

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2006

Safe Receding Horizon Control of an Aerial Vehicle.

David A. Anisi, Petter Ögren, John W. C. Robinson

Proceedings of the 45th IEEE Conference on Decision and Control, 2006