Gå til hovedinnhold

You are now on UiA's old website. The information you find here may be outdated.

Visit our new website

0
Jump to main content
Alireza David Anisi

Alireza David Anisi

Associate Professor

Department of Engineering Sciences >

 

+47 37 23 31 86

+47 473 46 126

  • Principal Researcher with expertise within autonomous systems and robotics.
  • Currently focusing mainly on applications within agri-tech and farming.
  • 15+ years’ industrial experience from from both defense- and oil & gas sector with academics.
  • Passionate about bridging the gap between academic- and industrial R&D.
  • Academic background in optimization and systems theory (Ph.D.) and engineering physics (M.Sc.). 

Research interests

  • Formal verification and learning for autonomous systems

  • Field robotics in harsh unstructured environments

  • Combinatorial optimization: cooperative task- and path planning for multi-robot systems

  • Computational optimal control: on-line trajectory optimization for autonomous vehicles

  • Nonlinear observer design 

Courses and teaching

MAS221 Industrial IT and Robotics

Selected publications

Patents

  • Power system optimization, EP18162642.5, 2018-03-19

  • Mechanical grip system for manipulator, SE1300179, 2013-03-11

  • Sensor arrangement for machine vision, WO2014026711, 2012-08-15

  • Tool changer for explosive environment, WO2012007188, 2011-02-22

  • Method for controlling industrial robots in a work area, EP2466404, 2010-12-14

  • Mobile robot for a harsh, corrosive outdoor environment, WO2011107137, 2010-03-01

 

Scientific publications

  • Murray, Yvonne; Nordlie, Henrik; Anisi, Alireza David; Ribeiro, Pedro; Cavalcanti, Ana (2024). Model Checking and Verification of Synchronisation Properties of Cobot Welding. Electronic Proceedings in Theoretical Computer Science (EPTCS). ISSN: 2075-2180. 411s 91 - 108. doi:10.48550/arXiv.2411.14369.
  • Adam, Mustafa; Hartmark, Elias Evjen; Andersen, Tage; Anisi, Alireza David; Cavalcanti, Ana (2024). Safety assurance of autonomous agricultural robots: from offline model-checking to runtime verification. IEEE International Conference on Automation Science and Engineering. ISSN: 2161-8070. doi:10.1109/CASE59546.2024.10711810.
  • Adam, Mustafa; Ye, Kangfeng; Anisi, Alireza David; Cavalcanti, Ana; Woodcock, Jim; Morris, Robert (2023). Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment. Proceedings of the 2023 19th IEEE International Conference on Automation Science and Engineering (CASE). ISBN: 979-8-3503-2070-1. IEEE conference proceedings. Conference paper. s 1 - 7.
  • Serbezov, Atanas; Rhinehart, Russ; Goupil, Philippe; Anisi, Alireza David (2022). Academic-Practice Collaborations in Automation and Control: Keys for Success. IFAC-PapersOnLine. ISSN: 2405-8963. 55 (17). s 308 - 313. doi:10.1016/j.ifacol.2022.09.297.
  • Murray, Yvonne; Sirevåg, Martin; Ribeiro, Pedro; Anisi, Alireza David; Mossige, Morten (2022). Safety assurance of an industrial robotic control system using hardware/software co-verification. Science of Computer Programming. ISSN: 0167-6423. 216doi:10.1016/j.scico.2021.102766.
  • Murray, Yvonne; David_Anisi, Alireza; Sirevåg, Martin; Ribeiro, Pedro; hagag, Rabah Saleh (2020). Safety Assurance of a High Voltage Controller for an Industrial Robotic System. Formal Methods: Foundations and Applications. ISBN: 978-3-030-63882-5. Springer. Paper. s 45 - 63.
  • Espeland, Elene Marie; Jung, Byung Kyu; Anisi, Alireza David (2019). A predictive learning approach to optimal load sharing in energy management systems. 2019 18th European Control Conference (ECC). ISBN: 978-3-907144-00-8. IEEE. chapter. s 498 - 504.
  • Murray, Yvonne; Anisi, Alireza David (2019). Survey of Formal Verification Methods for Smart Contracts on Blockchain. IFIP International Conference on New Technologies, Mobility and Security (NTMS). ISSN: 2157-4952. doi:10.1109/NTMS.2019.8763832.
  • Anisi, Alireza David; Tveide, Svein Gjermund; Kongezos, Valentinos (2017). State classification for autonomous gas sample taking using deep convolutional neural networks. 25th Mediterranean Conference on Control and Automation. ISBN: 978-1-5090-4533-4. IEEE conference proceedings. chapter. s 370 - 375.
  • Kaldestad, Knut Berg; Haddadin, Sami; Belder, Rico; Hovland, Geir; Anisi, Alireza David (2014). Collision Avoidance with Potential Fields Based on Parallel Processing of 3D-Point Cloud Data on the GPU. 2014 IEEE International Conference on Robotics and Automation (ICRA 2014). ISBN: 9781479936861. Curran Associates, Inc.. kapittel. s 3250 - 3257.
  • Anisi, Alireza David (2024). Applications of RoboStar technology to real-world robotics systems.
  • Adam, Mustafa; Anisi, Alireza David; Hartmark, Elias; Andersen, Tage; Cavalcanti, Ana (2024). Safety Assurance of Autonomous Agricultural Robots: Offline to Runtime Verification.
  • Anisi, Alireza David; Adam, Mustafa (2023). Reliability and safety assurance of adaptive robotic and autonomous systems.

Sectors

In social media

Last changed: 11.08.2020 11:08