×

Temporal logic motion planning using POMDPs with parity objectives (case study paper). (English) Zbl 1364.93521

Proceedings of the 18th ACM international conference on hybrid systems: computation and control, HSCC 2015, Seattle, WA, USA, April 14–16, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3433-4). 233-238 (2015).

MSC:

93C85 Automated systems (robots, etc.) in control theory
68Q60 Specification and verification (program logics, model checking, etc.)
90C40 Markov and semi-Markov decision processes
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Bliudze, S., and Furic, S. An operational semantics for hybrid systems involving behavioral abstraction. In Modelica Conference (Lund, Sweden, 2014).
[2] Broman, D., Greenberg, L., Lee, E. A., Masin, M., Tripakis, S., and Wetter, M. Requirements for hybrid cosimulation standards. In Hybrid Systems: Computation and Control (HSCC) (Seattle, 2015). · Zbl 1366.68352
[3] Cassandras, C. G. Discrete Event Systems, Modeling and Performance Analysis. Irwin, 1993.
[4] Cellier, F. E., and Kofman, E. Continuous System Simulation. Springer, 2006. · Zbl 1112.93004
[5] Fishman, G. S. Discrete-Event Simulation: Modeling, Programming, and Analysis. Springer-Verlag, 2001. · Zbl 0973.93001
[6] Floros, X., Cellier, F. E., and Kofman, E. Discretizing time or states? a comparative study between dassl and qss -work in progress paper -. In Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT) (Oslo, 2010), Link\"{} oping University.
[7] Kofman, E., and Junco, S. Quantized-state systems: A DEVS approach for continuous system simulation. Transactions of The Society for Modeling and Simulation International 18, 1 (2001), 2 8.
[8] Lee, E. A. Modeling concurrent real-time processes using discrete events. Annals of Software Engineering 7 (1999), 25 45.
[9] Lee, E. A. Constructive models of discrete and continuous physical phenomena. IEEE Access 2, 1 (2014), 1 25.
[10] Lee, E. A., and Tripakis, S. Modal models in Ptolemy. In 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT) (Oslo, Norway, 2010), vol. 47, Link\"{}oping oping University Electronic Press, Link\"{} University, pp. 11 21.
[11] Lee, E. A., and Zheng, H. Operational semantics of hybrid systems. In Hybrid Systems: Computation and Control (HSCC) (Zurich, 2005), M. Morari and L. Thiele, Eds., vol. LNCS 3414, Springer-Verlag, pp. 25 53. · Zbl 1078.93535
[12] Lee, E. A., and Zheng, H. Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. In EMSOFT (Salzburg, Austria, 2007), ACM, pp. 114 123.
[13] Maler, O., Manna, Z., and Pnueli, A. From timed to hybrid systems. In Real-Time: Theory and Practice, REX Workshop (1992), Springer-Verlag, pp. 447 484.
[14] Matsikoudis, E., and Lee, E. A. On .xed points of strictly causal functions. In International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS) (Buenos Aires, Argentina, 2013), vol. LNCS 8053, Springer-Verlag, pp. 183 197. · Zbl 1318.68114
[15] Migoni, G., Bortolotto, M., Kofman, E., and Cellier, F. E. Linearly implicit quantization-based integration methods for sti. ordinary di.erential equations. Simulation Modelling Practice and Theory 35 (2013), 118 136.
[16] Modelisar Consortium and the Modelica Association. Functional mock-up interface for model exchange and co-simulation. Report Version 2.0, July 25 2014. https://www.fmi-standard.org/downloads.
[17] Ptolemaeus, C., Ed. System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, Berkeley, CA, 2014.
[18] Savicks, V., Butler, M., and Colley, J. Co-simulating Event-B and continuous models via FMI. In Summer Simulation Multi-Conference (SummerSim) (San Diego, 2014), pp. 259 256.
[19] Zeigler, B. P., and Lee, J. S. Theory of quantized systems: Formal basis for DEVS/HLA distributed simulation environment. In SPIE Conference on Enabling Technology for Simulation Science (Orlando, 1998), vol. SPIE Vol. 3369, pp. 49 58.
[20] Zeigler, B. P., Praehofer, H., and Kim, T. G. Theory of Modeling and Simulation, 2nd ed. Academic Press, 2000. 302 · Zbl 1011.93031
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.