David A. Anisi

发表

Survey of Formal Verification Methods for Smart Contracts on Blockchain

David A. Anisi, Yvonne Murray, D. A. Anisi, 2019, 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS).

On-line Trajectory planning for aerial vehicles : a safe approach with guaranteed task completion

David A. Anisi, Petter Ögren, J.W.C. Robinson, 2006 .

Cooperative Minimum Time Surveillance With Multiple Ground Vehicles

David A. Anisi, Xiaoming Hu, Petter Ögren, 2010, IEEE Transactions on Automatic Control.

Cooperative surveillance missions with multiple unmanned ground vehicles (UGVs)

David A. Anisi, Xiaoming Hu, Petter Ögren, 2008, 2008 47th IEEE Conference on Decision and Control.

CAD-Based Training of an Expert System and a Hidden Markov Model for Obstacle Detection in an Industrial Robot Environment

Geir Hovland, David A. Anisi, Knut Berg Kaldestad, 2012 .

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

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

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

David A. Anisi, Clint Heyer, Erik Persson, 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.

3D Sensor-Based Obstacle Detection Comparing Octrees and Point clouds Using CUDA

Geir Hovland, David A. Anisi, Knut Berg Kaldestad, 2012 .

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

David A. Anisi, Elene M. Espeland, Byung K. Jung, 2019, 2019 18th European Control Conference (ECC).

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

David A. Anisi, Svein Gjermund Tveide, Valentinos Kongezos, 2017, 2017 25th Mediterranean Conference on Control and Automation (MED).

A step-wise approach to oil and gas robotics

David A. Anisi, Charlotte Skourup, 2012 .

On Cooperative Surveillance, Online Trajectory Planning and Observer Based Control

David A. Anisi, 2009 .

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

David A. Anisi, Charlotte Skourup, Johan Gunnar, 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.

Online trajectory planning and observer based control

David A. Anisi, D. A. Anisi, 2006 .

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

Geir Hovland, David A. Anisi, Sami Haddadin, 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).

Survey of patrolling algorithms for surveillance UGVs

David A. Anisi, Johan Thunberg, J. Thunberg, 2007 .

Algorithms for the Connectivity Constrained Unmanned Ground Vehicle Surveillance Problem

David A. Anisi, Petter Ögren, Therese Lindskog, 2009, 2009 European Control Conference (ECC).

Cooperative surveillance missions with multiple UGVs

David A. Anisi, Xiaoming Hu, Petter Ögren, 2008, CDC 2008.

A Comparative Study of Task Assignment and Path Planning Methods for Multi-UGV Missions

David A. Anisi, Petter Ögren, Johan Thunberg, 2009 .

Active Observers for Mobile Robotic Systems

David A. Anisi, Xiaoming Hu, 2006 .

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

David A. Anisi, Pedro Ribeiro, Yvonne Murray, 2020, SBMF.

A Comparative study of robotic gas source localization algorithms in industrial environments

David A. Anisi, Erik Persson, 2011 .

Safe Receding Horizon Control of an Aerial Vehicle

David A. Anisi, Petter Ögren, John W. C. Robinson, 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

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

David A. Anisi, Morten Mossige, Yvonne Murray, 2021, Sci. Comput. Program..

Nearly time-optimal paths for a ground vehicle

David A. Anisi, J. Hamberg, Xiaoming Hu, 2003 .

Adaptive Node Distribution for Online Trajectory Planning

David A. Anisi, D. A. Anisi, 2006 .

On-line trajectory planning using adaptive temporal discretization

David A. Anisi, 2022 .

Optimal Motion Control of a Ground Vehicle

David A. Anisi, P. Alvå, M. Dahlén, 2003 .

Minimum Time Multi-UGV Surveillance

David A. Anisi, Petter Ögren, Petter Ögren, 2009 .

Riemannian observers for Euler-Lagrange systems

David A. Anisi, Johan Hamberg, J. Hamberg, 2005 .

Communication constrained multi-UGV surveillance

David A. Anisi, Xiaoming Hu, Petter Ögren, 2008 .