Concepedia

David A. Anisi

DA

10

Publications

255

Citations

10

H-Index

2003

Active since

Affiliations

ABB (Norway)(Current)

KTH Royal Institute of Technology

Swedish Defence Research Agency

University of Agder

David A. Anisi is an author at ABB (Norway) specializing in engineering, systems engineering, and field robotics.

Top concepts

EngineeringSystems EngineeringField RoboticsRoboticsMechatronicsComputer ScienceIndustrial RoboticsAutomationSpace EngineeringTrajectory Planning

Publications per year

2003–2022

10

Publications

10

Survey of Formal Verification Methods for Smart Contracts on Blockchain

Yvonne Murray, David A. Anisi · 2019 · 60 citations

Hardware Security, Blockchain, Smart Contract Language +15

Cooperative Minimum Time Surveillance With Multiple Ground Vehicles

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

Polyhedral Area, Engineering, Multiple Ground Vehicles +16

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

Knut Berg Kaldestad, Sami Haddadin, Rico Belder et al. · 2014 · 32 citations · Full text

Robot Kinematics, Engineering, Field Robotics +28

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

David A. Anisi, Johan Gunnar, Tommy Lillehagen et al. · 2010 · 22 citations

Engineering, Industrial Engineering, Robotic Agent +17

Nearly time-optimal paths for a ground vehicle

David A. Anisi, Johan Hamberg, Xiaoming Hu · Journal of Control Theory and Applications · 2003 · 21 citations

Mathematical Programming, Path Planning, Trajectory Planning +5

Rows per page

1–5 of 10