Dieky Adzkiya

Available identifiers

zbMath Open adzkiya.diekyMaRDI QIDQ262434

List of research outcomes

Publication	Date of Publication	Type
Decentralized static output feedback controller design for linear interconnected systems	2023-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q6162667	2023-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q6162678	2023-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q6162697	2023-06-16	Paper
SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems	2022-07-28	Paper
Trajectory tracking of coordinated multi-robot systems using nonlinear model predictive control	2022-03-14	Paper
Optimization of linear quadratic regulator with tracking applied to autonomous underwater vehicle (AUV) using Cuckoo search	2020-11-12	Paper
Motion control design of UNUSAITS AUV using sliding PID	2020-09-17	Paper
Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems	2020-07-08	Paper
Bounded model checking of max-plus linear systems via predicate abstractions	2020-05-05	Paper
https://portal.mardi4nfdi.de/entity/Q5217739	2020-02-26	Paper
Kalman filter estimation of identifed reduced model using balanced truncation: a case study of the Bengawan solo river	2020-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q5240056	2019-10-23	Paper
Tropical abstractions of MAX-plus linear systems	2018-12-06	Paper
Generalized public transportation scheduling using max-plus algebra.	2018-06-15	Paper
Tropical Abstractions of Max-Plus-Linear Systems	2018-06-12	Paper
Computational techniques for reachability analysis of Max-Plus-Linear systems	2017-10-11	Paper
Finite Abstractions of Max-Plus-Linear Systems	2017-09-08	Paper
Formal Verification of Stochastic Max-Plus-Linear Systems	2017-05-03	Paper
Eigenproblems of Latin squares in bipartite \((\min, \max,+)\)-systems	2017-03-08	Paper
\texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems	2016-03-29	Paper

Research outcomes over time

This page was built for person: Dieky Adzkiya