Aleksandra Ž. Jovanović

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Control of Real-Time Systems With Integer Parameters IEEE Transactions on Automatic Control	2022-02-24	Paper
A game approach to the parametric control of real-time systems International Journal of Control	2019-08-27	Paper
Parameter synthesis for probabilistic timed automata using stochastic game abstractions Theoretical Computer Science	2018-06-05	Paper
New coding algorithm based on variable-length codewords for piecewise uniform quantizers	2018-05-17	Paper
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata Theoretical Computer Science	2017-03-16	Paper
Interrupt timed automata with auxiliary clocks and parameters Fundamenta Informaticae	2017-03-16	Paper
Parameter synthesis for probabilistic timed automata using stochastic game abstractions Lecture Notes in Computer Science	2015-10-28	Paper
Symbolic minimum expected time controller synthesis for probabilistic timed automata Lecture Notes in Computer Science	2015-09-14	Paper
Synthesis of bounded integer parameters for parametric timed reachability games Automated Technology for Verification and Analysis	2014-07-08	Paper
Parametric Interrupt Timed Automata Lecture Notes in Computer Science	2014-07-07	Paper
Integer Parameter Synthesis for Timed Automata Tools and Algorithms for the Construction and Analysis of Systems	2013-08-05	Paper
An iterative method for optimal resolution-constrained polar quantizer design COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering	2011-07-28	Paper
Geometric piecewise uniform lattice vector quantization of the memoryless Gaussian source Information Sciences	2011-06-22	Paper
Optimal companding vector quantization for circularly symmetric sources Information Sciences	2008-11-19	Paper

Research outcomes over time

This page was built for person: Aleksandra Ž. Jovanović