Nothing Special   »   [go: up one dir, main page]

skip to main content
10.5555/2499634.2499658acmotherconferencesArticle/Chapter ViewAbstractPublication PagesspringsimConference Proceedingsconference-collections
research-article

Revisit of system variable trajectories (WIP)

Published: 07 April 2013 Publication History

Abstract

This paper investigates the trajectory that represents a patterns of system dynamics. In this paper, a trajectory is concatenations of building blocks, called segments. The mathematical incompleteness of trajectory definitions [12], [13], [4] in terms of lack of explanation for multiple values at boundaries are resolved in this paper by allowing codomain to be not just a set Z, but Z+ that is a set of strings of the set Z. Moreover, relationship of trajectory classes, as well as associating variables are clarified at the end.

References

[1]
R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183--235, 1994.
[2]
F. J. Barros. Towards a theory of continuous flow models. International Journal of General Systems, 31(1):29--40, 2002.
[3]
Alex ChungHen Chow. Parallel DEVS: a Parallel, Hierarchical, Modular Modeling Formalism and Its Distributed Simulator. Transactions of The Society for Computer Simulation International, 13(2):55--67, 1996.
[4]
Norbert Giambiasi, Bruno Escude, and Sumit Ghosh. Gdevs: A generalized discrete event specification for accurate modeling of dynamic systems. In Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, ISADS '01, pages 464--469, 2001.
[5]
Thomas A. Henzinger. The theory of hybrid automata. pages 278--292. IEEE Computer Society Press, 1996.
[6]
J. E. Hopcroft, R. Motwani, and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison Wesley, second edition, 2000.
[7]
Moon Ho Hwang. Qualitative verification of finite and real-time DEVS networks. In Proceedings of the 2012 DEVS Integrative M&S Symposium, pages 43:1--43:8, 2012.
[8]
Edward A. Lee and Alberto Sangiovanni-vincentelli. The tagged signal model - a preliminary version of a denotational framework for comparing models of computation. Technical report, University of California, Berkeley, CA, 1996.
[9]
Herbert Praehofer. System Theoretic Formalisms for Combined Discrete-Continuous System Simulation. International Journal of General Systems, 19(3):219--240, 1991.
[10]
J. Zander, P. J. Mosterman, G. Hamon, and B. Denckla. On the structure of time in computational semantics of a variable-step solver for hybrid behavior analysis. pages 9419--9424. 18th World Congress of the International Federation of Automatic Control (IFAC), 2011.
[11]
B. P. Zeigler, H. S. Song, T. G. Kim, and H. Praehofer. DEVS Framework for Modeling, Simulation, Analysis, and Design of Hybrid Systems. In Panos J. Antsaklis, Wolf Kohn, Anil Nerode, and Shankar Sastry, editors, Hybrid Systems, volume 999 of Lecture Notes in Computer Science, pages 529--551. Springer, 1995.
[12]
Bernard P. Zeigler. Theory of Modeling and Simulation. Wiley Interscience, New York, first edition, 1976.
[13]
Bernard P. Zeigler, H. Praehofer, and Tag Gon Kim. Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems. Academic Press, London, second edition, 2000.

Cited By

View all
  • (2016)A quantum of continuous simulated timeProceedings of the Symposium on Theory of Modeling & Simulation10.5555/2975389.2975390(1-8)Online publication date: 3-Apr-2016
  • (2014)Taxonomy of DEVS variantsProceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative10.5555/2665008.2665030(1-6)Online publication date: 13-Apr-2014

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences
DEVS 13: Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
April 2013
253 pages
ISBN:9781627480321

Sponsors

  • SCS: Society for Modeling and Simulation International

In-Cooperation

Publisher

Society for Computer Simulation International

San Diego, CA, United States

Publication History

Published: 07 April 2013

Check for updates

Author Tags

  1. segments
  2. timed language
  3. trajectories
  4. variables

Qualifiers

  • Research-article

Conference

SpringSim '13
Sponsor:
  • SCS
SpringSim '13: 2013 Spring Simulation Multiconference
April 7 - 10, 2013
California, San Diego

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 25 Nov 2024

Other Metrics

Citations

Cited By

View all
  • (2016)A quantum of continuous simulated timeProceedings of the Symposium on Theory of Modeling & Simulation10.5555/2975389.2975390(1-8)Online publication date: 3-Apr-2016
  • (2014)Taxonomy of DEVS variantsProceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative10.5555/2665008.2665030(1-6)Online publication date: 13-Apr-2014

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media