Recomposable restricted finite state machines: definition and solution approaches

References

• Bellman, R. (1957). A Markovian decision process. Journal of Mathematics and Mechanics, 6(5), 679–684.
   Web of Science ®Google Scholar
• Bertsekas, D. P. (2005). Dynamic programming and optimal control volume I (3rd ed.). Athena Scientific.
   Google Scholar
• Bertsekas, D. P. (2012). Dynamic programming and optimal control volume II (3rd ed.). Athena Scientific.
   Google Scholar
• Bertsimas, D., & Ryzin, G. V. (1989). The dynamic traveling repairman problem. Sloan School of Management, Massachusetts Institute of Technology.
   Google Scholar
• Calhoun, G. L., Draper, M. H., Abernathy, M. F., Patzek, M., & Delgado, F. (2005). Synthetic vision system for improving unmanned aerial vehicle operator situation awareness. In SPIE enhanced and synthetic vision, pp. 219–230.
   Google Scholar
• Cassandras, C. G., & Lafortune, S. (2007). Introduction to discrete event systems (2nd ed.). Springer.
   Google Scholar
• Coltin, B., Veloso, M., & Ventura, R. (2011). Dynamic user task scheduling for mobile robots. In AAAI workshop on automated action planning for autonomous mobile robots.
   Google Scholar
• Epp, S. S. (2010). Discrete mathematics with applications (4th ed.). Cengage Learning.
   Google Scholar
• Ford, D. (2007). Planning for an unpredictable war: British intelligence assessments and the war against Japan, 1937–45. Journal of Strategic Studies, 27(1), 136–167. doi: 10.1080/0140239042000232800
   Web of Science ®Google Scholar
• Lee, C. C. (1990). Fuzzy logic in control systems: Fuzzy logic controller I. IEEE Transactions on Systems, Man, and Cybernetics, 20(2), 404–418. doi: 10.1109/21.52551
   Web of Science ®Google Scholar
• Lynch, N. A., & Tuttled, M. R. (1989). An introduction to input/output automata. CWI Quarterly, 2(3), 219–246.
   Google Scholar
• McCarley, J. S., & Wickens, C. D. (2005). Human factors implications of uavs in the national airspace. Technical Report AHFD-05-5/FAA-05-1, Aviation Human Factors Division, Savoy, IL.
   Google Scholar
• McMillen, C., & Veloso, M. (2006). Distributed, play-based role assignment for robot teams in dynamic environments. In Distributed autonomous robotic systems 7, pp. 1271–1287.
   Google Scholar
• Psaraftis, H. (1988). Dynamic vehicle routing problem. Vehicle routing: Methods and studies.
   Google Scholar
• Puterman, M. L. (2014). Markov decision processes: Discrete stochastic dynamic programming. New York: John Wiley & Sons.
   Google Scholar
• Ramadge, P. J., & Wonham, W. H. (1987). Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization, 25, 206–230. doi: 10.1137/0325013
   Web of Science ®Google Scholar
• Seok, J., Faied, M., & Girard, A. R. (2017a). Unpredictably dynamic environment patrolling. Unmanned Systems Journal, 5(4), 1–14.
   Web of Science ®Google Scholar
• Seok, J., Kabamba, P. T., & Girard, A. R. (2017b). Task scheduling for radar resource management in dynamic environments. IET Journal of Engineering.
   Google Scholar
• Smith, S., Pavone, M., Bullo, F., & Frazzoli, E. (2008). Dynamic traveling repairman with priority demands. In IEEE Conference on decision and control, pp. 1206–1211.
   Google Scholar
• Smith, S., Pavone, M., Bullo, F., & Frazzoli, E. (2010). Dynamic vehicle routing with priority classes of stochastic demands. SIAM Journal on Control and Optimization, 48, 3224–3245. doi: 10.1137/090749347
   Web of Science ®Google Scholar
• Thunholm, P. (2005). Planning under time pressure: An attempt toward a prescriptive model of military tactical decision making. In H. Montgomery, R. Lipshitz & B. Brehmer (Eds.), How experts make decisions.
   Google Scholar
• Tumová, J., Hall, G., Karaman, S., Frazzoli, E., & Rus, D. (2013a). Least-violating control strategy synthesis with safety rules. In 16th International conference on hybrid systems: Computation and control. ACM.
   Google Scholar
• Tumová, J., Reyes-Castro, L. I., Karaman, S., Frazzoli, E., & Rus, D. (2013b). Minimum-violating planning with conflicting specifications. In American Control Conference, pp. 200–205.
   Google Scholar
• Veloso, M., Biswas, J., Coltin, B., Rosenthal, S., Kollar, T., Mericli, C., Samadi, M., Brandao, S., & Ventura, R. (2012). Cobots: Collaborative robots servicing multi-floor buildings. In IEEE/RSJ International conference on intelligent robots and systems.
   Google Scholar
• Weber, R. R. (1999). Optimization and control. Cambridge: University of Cambridge.
   Google Scholar