Areas of Expertise

• Formal Verification
• Max-Plus-Linear Systems

Background

Dr Adzkiya obtained a BSc in Mathematics from Institut Teknologi Sepuluh Nopember (2005), an MSc in Mathematics from Institut Teknologi Sepuluh Nopember (2008) and a PhD in Systems and Control from Delft University of Technology (2014).

He joined Institut Teknologi Sepuluh Nopember in 2008 as a lecturer and was appointed Head of Postgraduate Program of Mathematics in 2020.

Dr Adzkiya is a member of Center of Excellence for Mechatronics and Industrial Automation Research Center (PUI-PT MIA-RC ITS) and Indonesian Mathematical Society (IndoMS).

Education

• Doctoral Degree, Formal Verification, Delft University of Technology, Netherland.
• Master Degree, Department of Mathematics, Institut Teknologi Sepuluh Nopember Surabaya, Indonesia.
• Bachelor Degree, Department of Mathematics, Institut Teknologi Sepuluh Nopember Surabaya, Indonesia.

 Publications (Recent Journals and Conferences)

1. SMT-based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems, IEEE Transactions on Automatic Control, 2021
2. Pergerakan Aliran MHD Ag-AIR Melewati Bola Pejal, Limits: Journal of Mathematics and Its Applications 18 (1), 15-21, 2021
3. Modelling and Verification of Cash Withdrawal Transaction in Automated Teller Machine Using Timed Automata, Journal of Physics: Conference Series 1821 (1), 012031, 2021
4. Safety Verification of SEITR Epidemic Model on Recombination HIV and Hepatitis B Virus using Taylor Model, IJCSAM (International Journal of Computing Science and Applied Mathematics), 2021
5. Modified Kalman filter-based model predictive control for ship heading control with probabilistic constraints, Systems Science & Control Engineering 9 (1), 109-116, 2021
6. Sliding mode control design for autonomous surface vehicle motion under the influence of environmental factor, International Journal of Electrical and Computer Engineering 10 (5), 4789, 2020
7. ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking, EPiC Series in Computing 74, 1-15, 2020
8. Unsteady magnetohydrodynamics mixed convection flow pass sliced magnetic sphere in nano fluid, AIP Conference Proceedings 2242 (1), 030021, 2020
9. Trajectory Estimation of Autonomous Surface Vehicle Using Extended Kalman Filter, Journal of Physics: Conference Series 1538 (1), 012035, 2020
10. Missile control design for moving target using model predictive control, Journal of Physics: Conference Series 1490 (1), 012069, 2020
11. Linearization of two-state thruster models, Journal of Physics: Conference Series 1490 (1), 012057, 2020
12. A cryptographic algorithm using wavelet transforms over max-plus algebra, Journal of King Saud University-Computer and Information Sciences, 2020
13. Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems, IFAC-PapersOnLine 53 (4), 459-465, 2020
14. Position estimation of Touristant ASV using ensemble Kalman filter, AIP Conference Proceedings 2187 (1), 060006, 2019
15. Estimation of hydrodynamic coefficients using unscented Kalman filter and recursive least square, 2019 IEEE 11th International Workshop on Computational Intelligence, 2019
16. Forecasting of Vannamei Shrimp Production Based on Weather Factors Using Radial Basis Function Neural Network Approach (Case Study: Lamongan District), Journal of Physics: Conference Series 1373 (1), 012034, 2019
17. Trajectory Estimation of Autonomous Surface Vehicle using Square Root Ensemble Kalman Filter, 2019 International Conference on Advanced Mechatronics, Intelligent, 2019
18. Bounded model checking of max-plus linear systems via predicate abstractions, International Conference on Formal Modeling and Analysis of Timed Systems, 2019
19. Ship Heading Control for Dubins Path Tracking and Collision Avoidance using Model Predictive Control, 2019 International Conference on Information and Communications Technology, 2019
20. Centralized and decentralized controller design for storey building systems using matrix inequality approach, 2019 International Conference on Electrical Engineering and Informatics, 2019
21. ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics., ARCH@ CPSIoTWeek, 1-13, 2019
22. Model reduction analysis using Hankel Norm Approximation on discrete-time linear system with the special shape of matrix A, Journal of Physics: Conference Series 1218 (1), 012050 , 2019
23. Development of trigonometric visualization concepts to increase the study motivations of SMK students, Journal of Physics: Conference Series 1218 (1), 012049, 2019
24. Altitude Control Design of LSU-05 Aircraft Using Abstraction Method, Journal of Physics: Conference Series 1218 (1), 012027, 2019

Research and Development Project

1. Autopilot Warship Guide and Control for Collision Avoidance Based on AIS Data, College Leading Applied Research, 2020
2. STUDY OF SHIP MANUVER ABILITY WITH SYSTEM IDENTIFICATION METHOD AND FREE RUNNING MODEL TEST, College Leading Applied Research, 2019.
3. Infinity Control Decentralized Design In Storey Building System With Matrix Inequality Approach, Lab-Based Education Research program, 2019
4. Mathematical Modeling of Magnetohydrodynamic Flow of Nano and Micropolar Fluids Through Sliced Spheres of Magnets Under the Effect of Mixed Convection, Graduate Research Program, 2019
5. Design and Build an Autonomous Surface Vehicle (ASV) as Water Transportation Supporting the National Marine Transportation and Tourism Industry, Applied Research, 2019
6. Fire Control System (FCS) Design on the Influence of Environmental Factors as Defense and Security Supporting Technology in the Development of Command, Control, Communication, Computing, Integration, Observation, and Reconnaissance Products (K4IPP), Applied Research, 2019
7. Design and Build a Thruster Controller on an Autonomous Surface Vehicle (ASV) as a Water Mode of Transportation to Support the National Transportation and Tourism Industry, Applied Research, 2019
8. Development of Face Mounted PAPR Masker for filtering 0.1mikro-sized Virus of COVID-19 (with and without eye-glass), Applied Research, 2020