PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Adzkiya, Dieky"

Author of the publication

copydeleteadd this publication to your clipboard
Abstraction and verification of autonomous Max-Plus-Linear systems.

, , and . ACC, page 721-726. IEEE, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Adzkiya, Dieky
add a person with the name Adzkiya, Dieky
 

Other publications of authors with the same name

Generalized public transportation scheduling using max-plus algebra., and . Kybernetika, 54 (2): 243-267 (2018)Abstraction and verification of autonomous Max-Plus-Linear systems., , and . ACC, page 721-726. IEEE, (2012)VeriSiMPL: Verification via biSimulations of MPL Models., and . QEST, volume 8054 of Lecture Notes in Computer Science, page 274-277. Springer, (2013)VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems., , and . Discrete Event Dynamic Systems, 26 (1): 109-145 (2016)Computational techniques for reachability analysis of Max-Plus-Linear systems., , and . Automatica, (2015)Scheduling of Event-Triggered Networked Control Systems using Timed Game Automata., and . CoRR, (2016)ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics., , , , , , , , , and 3 other author(s). ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 1-13. EasyChair, (2019)Symbolic abstractions for the scheduling of event-triggered control systems., , and . CDC, page 6153-6158. IEEE, (2015)Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions., , and . FORMATS, volume 11750 of Lecture Notes in Computer Science, page 142-159. Springer, (2019)Formal Verification of Stochastic Max-Plus-Linear Systems., , and . IEEE Trans. Automat. Contr., 61 (10): 2861-2876 (2016)