k-Step Viterbi Algorithm with Discrete Control for Tracking an Unknown Number of Targets
Abstract views: 8
/ 
PDF downloads: 3
Keywords:
Target Tracking, Hidden Markov Models, k-Step Viterbi Algorithm, k-Step DCS, Multiple Target Tracking, OptimizationAbstract
This study is related to the development of the Viterbi algorithm for finding the most likely path
to reach an uncertain number of targets. In this context, the Viterbi algorithm is enhanced to perform future
best path calculations more accurately using a symbolic approach to discrete control synthesis within the
framework of optimization for the K-step. The results of this work combine the guarantees of safety offered
by discrete control synthesis with the optimization, ensuring that the path calculation yields the optimal
value, representing the best path. The accuracy of our results is substantiated by an illustrative case study,
demonstrating the superiority of our approach over the standard Viterbi algorithm. Specifically, our
findings showcase that the proposed algorithm not only ensures the desired system behavior but also
provides the optimal path value, outperforming the conventional Viterbi algorithm.
Downloads
References
R. S. Chavan and G. S. Sable. “An overview of speech recognition using hmm”. vol. 2, pp. 233 – 238, Jun. 2013.
M. Chihaoui, W. Bellil, A. E., and C. B. Amar. “Face recognition using hmm-lbp”. pp. 249–258, Nov. 2016.
S. M. and D. Garg. “Gene finding using hidden markov model.”, Journal of Applied Sciences, Dec. 2012.
R. Schweiger, Y. Erlich, and S. Carmi. “Factorialhmm: Fast and exact inference in factorial hidden markov models.” bioRxiv , 2018.
P.J.G. Ramadge and W.M. Wonham. “The control of discrete event systems." Proceedings of the IEEE, 1989, paper 77(1):81–98.
C. G. Cassandras and S. Lafortune. Introduction to Discrete Event Systems. Springer, 2007.
L. E. Holloway, B. H. Krogh, and A. Giua. “A survey of petri net methods for controlled discrete event systems.” Discrete Event Dynamic Systems, vol. 7, pp. 151–190, 1997.
S. Tripakis, R. Limaye, K. Ravindran, G. Wang, H. Andrade, and Arkadeb Ghosal. “Tokens vs. signals: On conformance between formal models of dataflow and hardware.” Journal of Signal Processing Systems, vol. 85 pp. 23–43, 2016.
H. Marchand, P. Bournai, M. Borgne, and P. Guernic. “Synthesis of discrete-event controllers based on the signal environment.” Discrete Event Dynamic Systems, vol. 10, pp.325–346, 2000.
H. Marchand and M. Samaan. “Incremental design of a power transformer station controller using a controller synthesis methodology.” IEEE Transactions on Software Engineering, vol. 26, pp. 729–741, 2000.
H. Marchand and M. Borgne. “On the optimal control of polynomial dynamical systems over z/pz.” In 4th International Workshop on Discrete Event Systems, pp. 385–390, 1998.
N. Berthier and H. Marchand. “Discrete controller synthesis for infinite state systems with reax.” IFAC Proceedings., vol. 47, pp. 46–53, 2014.
N. Berthier and H. Marchand. “Deadlock-free discrete controller synthesis for infinite state systems.” In2015 54th IEEE Conference on Decision and Control (CDC), pp. 1000–1007, 2015.
M. Ozbaltan and N. Berthier. “Exercising symbolic discrete control for designing low-power hardware circuits: an application to clock-gating.” IFAC-PapersOnLine, vol. 51, pp. 120–126, 2018.
M. Ozbaltan and N. Berthier. “A case for symbolic limited optimal discrete control: Energy management in reactive data-flow circuits.” IFAC-PapersOnLine, vol. 53, pp. 10688–10694, 2020.
M. Ozbaltan and N. Berthier. “Power-aware scheduling of data-flow hardware circuits with symbolic control.” Archives of Control Sciences, vol. 31, pp. 431–446, 2021.
