Dieky Adzkiya

zbMath Openadzkiya.diekyMaRDI QIDQ262434

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Decentralized static output feedback controller design for linear interconnected systems International Journal of Applied Mathematics and Computer Science	2023-06-21	Paper
The effects of pesticide as optimal control of agriculture pest growth dynamical model	2023-06-16	Paper
scientific article; zbMATH DE number 7696817 (Why is no real title available?)	2023-06-16	Paper
The analysis of demand and supply of blood in hospital in Surabaya city using panel data regression	2023-06-16	Paper
SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems IEEE Transactions on Automatic Control	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
scientific article; zbMATH DE number 7174168 (Why is no real title available?)	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
scientific article; zbMATH DE number 7121709 (Why is no real title available?)	2019-10-23	Paper
Tropical abstractions of MAX-plus linear systems	2018-12-06	Paper
Generalized public transportation scheduling using max-plus algebra. Kybernetika	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 Automatica	2017-10-11	Paper
Finite Abstractions of Max-Plus-Linear Systems IEEE Transactions on Automatic Control	2017-09-08	Paper
Formal Verification of Stochastic Max-Plus-Linear Systems IEEE Transactions on Automatic Control	2017-05-03	Paper
Eigenproblems of Latin squares in bipartite \((\min, \max,+)\)-systems Discrete Event Dynamic Systems	2017-03-08	Paper
\texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems Discrete Event Dynamic Systems	2016-03-29	Paper

Research outcomes over time

This page was built for person: Dieky Adzkiya