Dieky Adzkiya
Orcid: 0000-0002-4718-2871
According to our database1,
Dieky Adzkiya
authored at least 30 papers
between 2012 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
0
1
2
3
4
5
6
7
1
2
1
1
4
1
1
1
4
3
1
2
1
3
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Decentralized static output feedback controller design for linear interconnected systems.
Int. J. Appl. Math. Comput. Sci., 2023
2022
SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems.
IEEE Trans. Autom. Control., 2022
J. King Saud Univ. Comput. Inf. Sci., 2022
2020
CoRR, 2020
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020
2019
Centralized and decentralized Hs<sub>∞</sub> controller design for storey building systems using matrix inequality approach.
Proceedings of the 2019 International Conference on Electrical Engineering and Informatics, 2019
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019
Estimation of Hydrodynamic Coefficients using Unscented Kalman Filter and Recursive Least Square.
Proceedings of the 11th IEEE International Workshop on Computational Intelligence and Applications, 2019
2018
Kybernetika, 2018
Proceedings of the INNS Conference on Big Data and Deep Learning 2018, 2018
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018
2017
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017
2016
IEEE Trans. Autom. Control., 2016
Discret. Event Dyn. Syst., 2016
VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems.
Discret. Event Dyn. Syst., 2016
CoRR, 2016
Chance-constrained model predictive controller synthesis for stochastic max-plus linear systems.
Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016
2015
Autom., 2015
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
2014
PhD thesis, 2014
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014
2013
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013
Proceedings of the American Control Conference, 2013
2012
Proceedings of the American Control Conference, 2012