Alireza David Anisi
Førsteamanuensis
- 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.).
Forskning
- 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
Undervisning
MAS221 Industrial IT and Robotics
Utvalgte publikasjoner
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
Vitenskapelige publikasjoner
- Adam, Mustafa; Anisi, Alireza David; Hartmark, Elias; Andersen, Tage; 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.
- 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.
Sist endret: 11.08.2020 11:08