Follow
David A. Anisi
David A. Anisi
NMBU - Norwegian University of Life Sciences, Facult of Science and Technology, Norway
Verified email at kth.se - Homepage
Title
Cited by
Cited by
Year
Optimal motion control of a ground vehicle
DA Anisi
Master’s thesis. Royal Institute of Technology (KTH), Stockholm, Sweden, 2003
1262003
Survey of formal verification methods for smart contracts on blockchain
Y Murray, DA Anisi
2019 10th IFIP International Conference on New Technologies, Mobility and …, 2019
652019
Mobile Robot For A Harsh, Corrosive Outdoor Environment
J Pretlove, C Skourup, J Gunnar, D Anisi
US Patent App. 13/599,924, 2013
512013
Cooperative minimum time surveillance with multiple ground vehicles
DA Anisi, P Ögren, X Hu
IEEE Transactions on Automatic Control 55 (12), 2679-2691, 2010
472010
Collision avoidance with potential fields based on parallel processing of 3D-point cloud data on the GPU
KB Kaldestad, S Haddadin, R Belder, G Hovland, DA Anisi
2014 IEEE International Conference on Robotics and Automation (ICRA), 3250-3257, 2014
462014
Robot automation in oil and gas facilities: Indoor and onsite demonstrations
DA Anisi, J Gunnar, T Lillehagen, C Skourup
2010 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2010
322010
Nearly time-optimal paths for a ground vehicle
DA Anisi, J Hamberg, X Hu
Journal of Control Theory and Applications 1, 2-8, 2003
322003
A step-wise approach to oil and gas robotics
DA Anisi, C Skourup
IFAC Proceedings Volumes 45 (8), 47-52, 2012
302012
Real-world demonstration of sensor-based robotic automation in oil & gas facilities
DA Anisi, E Persson, C Heyer
2011 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2011
252011
Cooperative surveillance missions with multiple unmanned ground vehicles (UGVs)
DA Anisi, P Ogren, X Hu, T Lindskog
2008 47th IEEE Conference on Decision and Control, 2444-2449, 2008
222008
On-line trajectory planning for aerial vehicles: a safe approach with guaranteed task completion
D Anisi, J Robinson, P Ögren
AIAA Guidance, Navigation, and Control Conference and Exhibit, 6107, 2006
162006
Safety assurance of an industrial robotic control system using hardware/software co-verification
Y Murray, M Sirevåg, P Ribeiro, DA Anisi, M Mossige
Science of Computer Programming 216, 102766, 2022
152022
A comparative study of task assignment and path planning methods for multi-UGV missions
J Thunberg, DA Anisi, P Ögren
Optimization and Cooperative Control Strategies: Proceedings of the 8th …, 2009
152009
3d sensor-based obstacle detection comparing octrees and point clouds using CUDA
KB Kaldestad, G Hovland, DA Anisi
132012
Minimum time multi-UGV surveillance
D Anisi, P Ögren
Optimization and Cooperative Control Strategies: Proceedings of the 8th …, 2009
122009
Riemannian observers for Euler-Lagrange systems
DA Anisi, J Hamberg
IFAC Proceedings Volumes 38 (1), 115-120, 2005
112005
A Comparative study of robotic gas source localization algorithms in industrial environments
E Persson, DA Anisi
IFAC Proceedings Volumes 44 (1), 899-904, 2011
102011
Communication constrained multi-UGV surveillance
DA Anisi, P Ögren, X Hu
17th IFAC World Congress, July 6-11, 2008, 2008
72008
Survey of patrolling algorithms for surveillance UGVs
DA Anisi, J Thunberg
Defence and Security, Systems and Technology, Swedish Defence Research …, 2007
72007
Safety assurance of a high voltage controller for an industrial robotic system
Y Murray, DA Anisi, M Sirevåg, P Ribeiro, RS Hagag
Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF …, 2020
52020
The system can't perform the operation now. Try again later.
Articles 1–20