×

zbMATH — the first resource for mathematics

Intensional couplings in variable-structure models: an exploration based on multilevel-DEVS. (English) Zbl 1368.68324

MSC:
68U20 Simulation (MSC2010)
93A30 Mathematical modelling of systems (MSC2010)
Software:
SysML
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Paul C. Attie and Nancy A. Lynch. 2013. Dynamic Input/Output Automata: A Formal and Compositional Model for Dynamic Systems. Technical Report. Computer Science and Artificial Intelligence Laboratory, Cambridge, MA. · Zbl 1344.68114
[2] Jos C. M. Baeten. 2005. A brief history of process algebra. Theoretical Computer Science 335, 2–3, 131–146. DOI:http://dx.doi.org/10.1016/j.tcs.2004.07.036 · Zbl 1080.68072 · doi:10.1016/j.tcs.2004.07.036
[3] Fernando Josi Barros. 1995. Dynamic structure discrete event system specification: A new formalism for dynamic structure modeling and simulation. In Proceedings of the 1995 Winter Simulation Conference, C. Alexopoulos, K. Kang, W. R. Lilegdon, and D. Goldsman (Eds.). IEEE, Piscataway, NJ, 781–785. DOI:http://dx.doi.org/10.1145/224401.224731 · doi:10.1145/224401.224731
[4] Fernando Josi Barros. 1996. The dynamic structure discrete event system specification formalism. Transactions of the Society for Computer Simulation International 13, 1, 35–46.
[5] Fernando Josi Barros. 1997. Modeling formalisms for dynamic structure systems. ACM Transactions on Modeling and Computer Simulation 7, 4, 501–515. DOI:http://dx.doi.org/10.1145/268403.268423 · Zbl 0916.93012 · doi:10.1145/268403.268423
[6] Fernando Josi Barros, Maria Teresa Mendes, and Bernard Phillip Zeigler. 1994. Variable DEVS—Variable structure modeling formalism: An adaptive computer architecture application. In Proceedings of the 5th Annual Conference on AI, and Planning in High Autonomy Systems. IEEE Computer Society, Los Alamitos, CA, 185–191. DOI:http://dx.doi.org/10.1109/AIHAS.1994.390474 · doi:10.1109/AIHAS.1994.390474
[7] Federico Bergero and Ernesto Kofman. 2014. A vectorial DEVS extension for large scale system modeling and parallel simulation. SIMULATION 90, 5, 522–546. · doi:10.1177/0037549714529833
[8] Donald Thomas Campbell. 1974. Downward causation in hierarchically organised biological systems. In Studies in the Philosophy of Biology: Reduction and Related Problems, Francisco Jose Ayala and Theodosius Grigorievich Dobzhansky (Eds.). University of California Press, Oakland, CA, 179–186. · doi:10.1007/978-1-349-01892-5_11
[9] Alex ChungHen Chow and Bernard P. Zeigler. 1994. Parallel DEVS: A parallel, hierarchical, modular modeling formalism. In Proceedings of the 1994 Winter Simulation Conference, J. D. Tew, S. Manivannan, D. A. Sadowski, and A. F. Seila (Eds.). IEEE, Piscataway, NJ, 716–722. DOI:http://dx.doi.org/10.1109/WSC.1994.717419 · doi:10.1109/WSC.1994.717419
[10] Alex ChungHen Chow, Bernard P. Zeigler, and Doo Hwan Kim. 1994. Abstract simulator for the parallel DEVS formalism. In Proceedings of the 5th Annual Conference on AI, and Planning in High Autonomy Systems. IEEE Computer Society Press, Los Alamitos, CA, 157–163. DOI:http://dx.doi.org/10.1109/AIHAS.1994.390488 · doi:10.1109/AIHAS.1994.390488
[11] Irving M. Copi and Carl Cohen. 2005. Introduction to Logic (12th ed.). Pearson Education, Inc., Old Tappan, NJ. · Zbl 1121.03300
[12] Fatih Deniz, M. Nedim Alpdemir, Ahmet Kara, and Halit Oğuztüzün. 2012. Supporting dynamic simulations with simulation modeling architecture (SiMA): A discrete event system specification-based modeling and simulation framework. SIMULATION 88, 6, 707–730. DOI:http://dx.doi.org/10.1177/0037549711428233 · doi:10.1177/0037549711428233
[13] Keith J. Devlin. 1993. The Joy of Sets: Fundamentals of Contemporary Set Theory (2nd ed.). Springer-Verlag, New York, NY. · Zbl 0792.04001 · doi:10.1007/978-1-4612-0903-4
[14] Jasmin Fisher, David Harel, and Thomas A. Henzinger. 2011a. Biology as reactivity. Communication of the ACM 54, 10, 72–82. DOI:http://dx.doi.org/10.1145/2001269.2001289 · doi:10.1145/2001269.2001289
[15] Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, and Moshe Y. Vardi. 2011b. Dynamic reactive modules. In CONCUR 2011, Joost-Pieter Katoen and Barbara König (Eds.). Lecture Notes in Computer Science, Vol. 6901. Springer, Berlin, 404–418. DOI:http://dx.doi.org/10.1007/978-3-642-23217-6_27 · Zbl 1343.68167 · doi:10.1007/978-3-642-23217-6_27
[16] Olaf Hagendorf, Thorsten Pawletta, and Christina Deatcu. 2009. Extended dynamic structure DEVS. In Proceedings of the 21st European Modeling and Simulation Symposium, R. Aguilar, A. Bruzzone, and M. Piera (Eds.), Vol. 1. 36–45.
[17] David Harel. 1987. Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 3, 231–274. DOI:http://dx.doi.org/10.1016/0167-6423(87)90035-9 · Zbl 0637.68010 · doi:10.1016/0167-6423(87)90035-9
[18] Dominikus Herzberg and André Marburger. 2001. State machine modeling: From synch states to synchronized state machines. In OMER—Object-oriented Modeling of Embedded Real-Time-Systems (LNI), Peter P. Hoffmann and Andy Schürr (Eds.). GI, 175–185.
[19] Jan Himmelspach and Adelinde M. Uhrmacher. 2006. Sequential processing of PDEVS models. In Proceedings of the 3rd European Modeling & Simulation Symposium, Agostino G. Bruzzone, Antoni Guasch, Miquel Angel Piera, and Jerzy Rozenblit (Eds.). LogiSim, Barcelona, Spain, 239–244.
[20] Jan Himmelspach and Adelinde M. Uhrmacher. 2007. Plug’n simulate. In Proceedings of the 40th Annual Simulation Symposium. IEEE Computer Society, Washington, DC, 137–143. DOI:http://dx.doi.org/10.1109/ANSS.2007.34 · doi:10.1109/ANSS.2007.34
[21] Xiaolin Hu, Bernard P. Zeigler, and Saurabh Mittal. 2005. Variable structure in DEVS component-based modeling and simulation. SIMULATION 81, 2, 91–102. DOI:http://dx.doi.org/10.1177/0037549705052227 · doi:10.1177/0037549705052227
[22] Mathias John, Cédric Lhoussaine, and Joachim Niehren. 2009. Dynamic compartments in the imperative π-calculus. In Computational Methods in Systems Biology (Lecture Notes in Computer Science), Pierpaolo Degano and Roberto Gorrieri (Eds.). Springer, Berlin, 235–250. DOI:http://dx.doi.org/10.1007/978-3-642-03845-7_16 · Zbl 05609279 · doi:10.1007/978-3-642-03845-7_16
[23] Frank Krüger, Alexander Steiniger, Sebastian Bader, and Thomas Kirste. 2012. Evaluating the robustness of activity recognition using computational causal behavior models. In Proceedings of the 2012 ACM Conference on Ubiquitous Computing, Anind K. Dey, Hao-Hua Chu, and Gillian Hayes (Eds.). ACM Press, New York, New York, 1066–1074. DOI:http://dx.doi.org/10.1145/2370216.2370443 · doi:10.1145/2370216.2370443
[24] Miron Livny. 1983. The Study of Load Balancing Algorithms for Decentralized Distributed Processing Systems. Ph.D. Dissertation. Weizmann Institute of Science, Rehovot, Isreal.
[25] Carsten Maus. 2008. Component-based modelling of RNA structure folding. In Computational Methods in Systems Biology. Lecture Notes in Computer Science, Monika Heiner and Adelinde M. Uhrmacher (Eds.), Vol. 5307. Springer, Berlin, 44–62. DOI:http://dx.doi.org/10.1007/978-3-540-88562-7 · Zbl 1146.68317 · doi:10.1007/978-3-540-88562-7
[26] Carsten Maus, Stefan Rybacki, and Adelinde M. Uhrmacher. 2011. Rule-based multi-level modeling of cell biological systems. BMC Systems Biology 5, 166. DOI:http://dx.doi.org/10.1186/1752-0509-5-166 · doi:10.1186/1752-0509-5-166
[27] Alexandre Muzy and Bernard Phillip Zeigler. 2014. Specification of dynamic structure discrete event systems using single point encapsulated control functions. International Journal of Modeling, Simulation, and Scientific Computing 5, 3, 1450012. DOI:http://dx.doi.org/10.1142/S1793962314500123 · doi:10.1142/S1793962314500123
[28] Object Management Group. 2012. OMG Systems Modeling Language (SysML) Version 1.3. Language specification. OMG. 250 pages. Retrieved December 22, 2015 from http://www.sysml.org/docs/specs/OMGSysML-v1.3-12-06-02.pdf.
[29] Junseong Park, Jungsul Lee, and Chulhee Choi. 2011. Mitochondrial network determines intracellular ROS dynamics and sensitivity to oxidative stress through switching inter-mitochondrial messengers. PloS ONE 6, 8, e23211. DOI:http://dx.doi.org/10.1371/journal.pone.0023211 · doi:10.1371/journal.pone.0023211
[30] Pinkesh K. Patel, Orian Shirihai, and Kerwyn Casey Huang. 2013. Optimal dynamics for quality control in spatially distributed mitochondrial networks. PLoS Computational Biology 9, 7, e1003108. DOI:http://dx.doi.org/10.1371/journal.pcbi.1003108 · doi:10.1371/journal.pcbi.1003108
[31] Corrado Priami. 1995. Stochastic pi-calculus. Computer Journal 38, 7, 578–589. DOI:http://dx.doi.org/10.1093/comjnl/38.7.578 · Zbl 05478217 · doi:10.1093/comjnl/38.7.578
[32] Corrado Priami and Paolo Quaglia. 2005. Beta binders for biological interactions. In Computational Methods in Systems Biology: International Conference CMSB 2004, Paris, France, May 26–28, 2004, Revised Selected Papers. Lecture Notes in Computer Science, Vincent Danos and Vincent Schachter (Eds.), Vol. 3082. Springer, Berlin, 20–33. DOI:http://dx.doi.org/10.1007/b107287 · Zbl 1088.68646 · doi:10.1007/b107287
[33] Olena Rogovchenko and Jacques Malenfant. 2010. Composition and compositionality in a component model for autonomous robots. In Proceedings of Software Composition: 9th International Conference (SC’10). Lecture Notes in Computer Science, Benoît Baudry and Eric Wohlstadte (Eds.). Springer, Berlin, 34–49. DOI:http://dx.doi.org/10.1007/978-3-642-14046-4_3 · Zbl 05767688 · doi:10.1007/978-3-642-14046-4_3
[34] Mathias Röhl. 2006. Platform independent specification of simulation model components. In Proceedings of the 20th European Conference on Modelling and Simulation (ECMS’06), Wolfgang Borutzky, Alessandra Orsoni, and Richard Zobel (Eds.). ECMS, Nottingham, UK, 220–225. · doi:10.7148/2006-0220
[35] Mathias Röhl and Adelinde M. Uhrmacher. 2008. Definition and analysis of composition structures for discrete-event models. In Proceedings of the 2008 Winter Simulation Conference, S. J. Mason, R. R. Hill, L. Mönch, Oliver Rose, T. Jefferson, and J. W. Fowler (Eds.). IEEE, Inc., Piscataway, NJ, 942–950. DOI:http://dx.doi.org/10.1109/WSC.2008.4736160 · doi:10.1109/WSC.2008.4736160
[36] Jerzy W. Rozenblit and Bernard Phillip Zeigler. 1993. Representing and constructing system specifications using the system entity structure concepts. In Proceedings of the 1993 Winter Simulation Conference, G. W. Evans, M. Mollaghasemi, E. C. Russell, and W. E. Biles (Eds.). IEEE, Piscataway, NJ, 604–611. DOI:http://dx.doi.org/10.1145/256563.256742 · doi:10.1145/256563.256742
[37] Alexander Steiniger, Frank Krüger, and Adelinde M. Uhrmacher. 2012. Modeling agents and their environment in multi-level-DEVS. In Proceedings of the 2012 Winter Simulation Conference, Christoph Laroque, Jan Himmelspach, Raghu Pasupathy, Oliver Rose, and Adelinde M. Uhrmacher (Eds.). IEEE, Piscataway, NJ, 233. · doi:10.1109/WSC.2012.6465113
[38] Claudia Szabo and Yong Meng Teo. 2007. On syntactic composability and model reuse. In Proceedings of the First Asia International Conference on Modelling & Simulation, David Al-Dabass, Richard Zobel, Ajith Abraham, and Steve Turner (Eds.). IEEE Computer Society, Los Alamitos, CA, 230–236. DOI:http://dx.doi.org/10.1109/AMS.2007.74 · doi:10.1109/AMS.2007.74
[39] Carsten Thomas. 1994. Interface-oriented classification of DEVS models. In Proceedings of the 5th Annual Conference on AI, Simulation, and Planning in High Autonomy Systems. IEEE Press, Los Alamitos, CA, 208–213. DOI:http://dx.doi.org/10.1109/AIHAS.1994.390472 · doi:10.1109/AIHAS.1994.390472
[40] Adelinde Maria Uhrmacher. 1995. Reasoning about changing structure: A modeling concept for ecological systems. Applied Artificial Intelligence: An International Journal 9, 2, 157–180. DOI:http://dx.doi.org/10.1080/08839519508945472 · Zbl 05387182 · doi:10.1080/08839519508945472
[41] Adelinde M. Uhrmacher. 2001. Dynamic structures in modeling and simulation: A reflective approach. ACM Transactions on Modeling and Computer Simulation 11, 2, 206–232. DOI:http://dx.doi.org/10.1145/384169.384173 · Zbl 05458280 · doi:10.1145/384169.384173
[42] Adelinde M. Uhrmacher, Roland Ewald, Mathias John, Carsten Maus, Matthias Jeschke, and Susanne Biermann. 2007. Combining micro and macro-modeling in DEVS for computational biology. In Proceedings of the 2007 Winter Simulation Conference, S. G. Henderson, B. Biller, M.-H. Hsieh, J. Shortle, J. D. Tew, and R. R. Barton (Eds.). IEEE Press, Piscataway, NJ, 871–880. DOI:http://dx.doi.org/10.1109/WSC.2007.4419683 · doi:10.1109/WSC.2007.4419683
[43] Adelinde M. Uhrmacher, Jan Himmelspach, Mathias Röhl, and Roland Ewald. 2006. Introducing variable ports and multi-couplings for cell biological modeling in DEVS. In Proceedings of the 2006 Winter Simulation Conference, L. Felipe Perrone, Frederick P. Wieland, Jason Liu, Barry G. Lawson, David M. Nicol, and Richard M. Fujimoto (Eds.). IEEE Computer Society, Los Alamitos, CA, 832–840. DOI:http://dx.doi.org/10.1109/WSC.2006.323165 · doi:10.1109/WSC.2006.323165
[44] Adelinde M. Uhrmacher and Corrado Priami. 2005. Discrete event systems specification in Systems Biology—a discussion ofstochastic pi calculus and DEVS. In Proceedings of the 2005 Winter Simulation Conference, M. E. Kuhl, N. M. Steiger, F. B. Armstrong, and J. A. Joines (Eds.). IEEE, Piscataway, NJ, 317–326. DOI:http://dx.doi.org/10.1109/WSC.2005.1574266 · doi:10.1109/WSC.2005.1574266
[45] Adelinde M. Uhrmacher and Danny Weyns (Eds.). 2009. Multi-Agent Systems: Simulation and Applications (1st ed.). CRC Press.
[46] Alexander Verbraeck. 2004. Component-based distributed simulations. The way forward?. In Proceedings of the 18th Workshop on Parallel and Distributed Simulation (PADS’04). IEEE Computer Society, Los Alamitos, CA, 141–148. DOI:http://dx.doi.org/10.1109/PADS.2004.1301295 · doi:10.1109/PADS.2004.1301295
[47] Bernard Phillip Zeigler. 1984. Multifacetted Modelling and Discrete Event Simulation (1st ed.). Academic Press, Inc., San Diego, CA. · Zbl 0566.68082
[48] Bernard Phillip Zeigler, Herbert Praehofer, and Tag Gon Kim. 2000. Theory of Modeling and Simulation (2nd ed.). Academic Press, San Diego, CA.
[49] Sabine Zinn. 2011. A Continuous-Time Microsimulation and First Steps Towards a Multi-Level Approach in Demography. Ph.D. Dissertation. University of Rostock, Rostock, Germany. Retrieved December 22, 2015 from http://rosdok.uni-rostock.de/metadata/rosdok_disshab_000000000760.
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.