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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dieky Adzkiya