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
https://portal.mardi4nfdi.de/entity/Q5061647	2022-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q5133380	2020-11-12	Paper
https://portal.mardi4nfdi.de/entity/Q5124116	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
https://portal.mardi4nfdi.de/entity/Q5217200	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