Zobrazeno 1 - 10
of 171
pro vyhledávání: '"Adzkiya Dieky"'
Publikováno v:
International Journal of Applied Mathematics and Computer Science, Vol 33, Iss 1, Pp 83-96 (2023)
Many interconnected systems in the real world, such as power systems and chemical processes, are often composed of subsystems. A decentralized controller is suitable for an interconnected system because of its more practical and accessible implementa
Externí odkaz:
https://doaj.org/article/e51045d66dd546fc9776de8ef6bfa313
This work discusses the reachability analysis (RA) of Max-Plus Linear (MPL) systems, a class of continuous-space, discrete-event models defined over the max-plus algebra. Given the initial and target sets, we develop algorithms to verify whether ther
Externí odkaz:
http://arxiv.org/abs/2007.04510
This paper introduces the abstraction of max-plus linear (MPL) systems via predicates. Predicates are automatically selected from system matrix, as well as from the specifications under consideration. We focus on verifying time-difference specificati
Externí odkaz:
http://arxiv.org/abs/1907.03564
This paper describes the development of finite abstractions of Max-Plus-Linear (MPL) systems using tropical operations. The idea of tropical abstraction is inspired by the fact that an MPL system is a discrete-event model updating its state with oper
Externí odkaz:
http://arxiv.org/abs/1806.04604
Autor:
Maschio, Dierli M.R., Duarte, Bruno, Lazzaretti, André E., Lafay, Jean-Marc S., Adzkiya, Dieky, da Costa, Jean Patric, Teixeira, Marcelo
Publikováno v:
In International Journal of Electrical Power and Energy Systems May 2022 137
Publikováno v:
In Journal of King Saud University - Computer and Information Sciences March 2022 34(3):627-635
Autor:
Adzkiya, Dieky, Mazo Jr, Manuel
We discuss the scheduling of a set of networked control systems implemented over a shared communication network. Each control loop is described by a linear-time-invariant (LTI) system with an event-triggered implementation. We assume the network can
Externí odkaz:
http://arxiv.org/abs/1610.03729
Publikováno v:
In IFAC PapersOnLine 2020 53(4):459-465
Publikováno v:
Discrete Event Dynamic Systems; 20240101, Issue: Preprints p1-37, 37p
Publikováno v:
In Automatica March 2015 53:293-302