[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

DVML: DEVS-Based Visual Modeling Language for Hybrid Systems

  • Conference paper
Control and Automation, and Energy System Engineering (CES3 2011, CA 2011)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 256))

Abstract

This paper proposes a visual modeling language for a large-scale hybrid system based on discrete event system specification formalism. Within theproposed language, basic model diagrams define the hybrid behavior of systems, whilethe structure can be represented through coupled model diagrams. The language can visually define large-scale hybrid systems without a sacrifice of formal semantics, and does not require the users to have programming skills. A prototype of the modeling and simulation environment based on an extended version of the language has been implemented.

This work was supported by the IT R&D Program of MKE/KEIT [10035708, "The Development of CPS (Cyber-Physical Systems) Core Technologies for High Confidential Autonomic Control Software"].

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
GBP 19.95
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
GBP 35.99
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
GBP 44.99
Price includes VAT (United Kingdom)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Zeigler, B.P., Paraehofer, H., Kim, T.G.: Theory of Modeling and Simulation, 2nd edn. Academic Press (2000)

    Google Scholar 

  2. Feng, B., Wainer, G.: A NET Remoting-Based Distributed Simulation Approach for DEVS and Cell-DEVS Models. In: Proc. DS-RT 2008, pp. 292–299 (2008)

    Google Scholar 

  3. Adevs, http://www.ornl.gov/~1qn/adevs/

  4. DEVSim++, http://smslab.kaist.ac.kr/

  5. Bonaventura, M., Wainer, G., Castro, R.: Advanced IDE for Modeling and Simulation of Discrete Event Systems. In: Proc. SpringSim 2010 (2010)

    Google Scholar 

  6. Christen, G., Dobniewski, A., Wainer, G.: Modeling State-Based DEVS Models in CD++. In: Proc. ASTC 2004 (2004)

    Google Scholar 

  7. Traoré, M.K.: A Graphical Notation for DEVS. In: Proc. SpringSim 2009 (2009)

    Google Scholar 

  8. Lee, E.A.: Cyber Physical Systems: Design Challenges. In: Proc. ISORC 2008, pp. 363–369 (2008)

    Google Scholar 

  9. Park, J., Yoo, J.: Hardware-Aware Rate Monotonic Scheduling Algorithm for Embedded Multimedia Systems. ETRI Journal 32(5), 657–664 (2010)

    Article  Google Scholar 

  10. Praehofer, H.: System Theoretic Formalism for Combined Discrete-Continuous System Simulation. International Journal of General System 19(3), 226–240 (1991)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CPS Research Team, ETRI, Daejeon, 305-700, Republic of Korea

    Hae Young Lee, Ingeol Chun & Won-Tae Kim

Authors
  1. Hae Young Lee
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ingeol Chun
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Won-Tae Kim
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Multimedia Engineering Department, Hannam University, 133 Ojeong-dong, Daeduk-gu, Daejeon, Korea

    Tai-hoon Kim

  2. The Ohio State University, 470 Hitchcock Hall, 2070 Neil Avenue, OH 43210-1275, Columbus, USA

    Hojjat Adeli

  3. Jet Propulsion Laboratory/Caltech, NASA, 4800 Oak Grove Drive, 91109, Pasadena, CA, USA

    Adrian Stoica

  4. School of Computing and Information Systems, University of Tasmania, Hobart, TAS, Australia

    Byeong-Ho Kang

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lee, H.Y., Chun, I., Kim, WT. (2011). DVML: DEVS-Based Visual Modeling Language for Hybrid Systems. In: Kim, Th., Adeli, H., Stoica, A., Kang, BH. (eds) Control and Automation, and Energy System Engineering. CES3 CA 2011 2011. Communications in Computer and Information Science, vol 256. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-26010-0_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-26010-0_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-26009-4

  • Online ISBN: 978-3-642-26010-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation