연구동향 분석

하이브리드 시스템을 명세하기 위한 ETRI CPS 모델링 언어

윤상현(Sanghyun Yoon) 전인걸(Ingeol Chun) 김원태(Won-Tae Kim) 조재연(Jaeyeon Jo) 유준범(Junbeom Yoo) 2015년

논문상세정보
인용/피인용
' 하이브리드 시스템을 명세하기 위한 ETRI CPS 모델링 언어' 의 주제별 논문영향력
논문영향력 선정 방법
논문영향력 요약
주제
  • cps
  • dess
  • dev&
  • ecml
  • hybrid system
  • 하이브리드 시스템
동일주제 총논문수 논문피인용 총횟수 주제별 논문영향력의 평균
93 0

0.0%

' 하이브리드 시스템을 명세하기 위한 ETRI CPS 모델링 언어' 의 참고문헌

  • Visual Modeling Language for Hybrid Systems Modeling
    H. Y. Lee Proc. of the 7th Conference on National Defense Technology : 884 ~ 890 [2001]
  • Uppaal in a Nutshell
    K. G. Larsan International Journal on Software Tools for Technology Transfer(STTT) 1 (1) : 134 ~ 152 [1997]
  • Translation from ECML to Linear Hybrid Automata
    Cha, S. Choi, H. Jo, J. Kim, W.-T. Lee, H.Y. Yoo, J. International Workshop on Technologies and Applications for Cyber Physical System (TACPS 2012/EMC-12) : 293 ~ 300 [2012]
  • Theory of Modeling and Simulation
    B. P. Zeigler Academic Press [2000]
  • The d/dt tool for Verification of Hybrid Systems
    E. Asarin Computer Aided Verification : 365 ~ 370 [2002]
  • The Algorithmic Analysis of Hybrid Systems
    R. Alur Theoretical Computer Science 138 (1) : 3 ~ 34 [1995]
  • SpaceEx : Scalable Verification of Hybrid Systems
    G. Frehse Computer Aided Verification (CAV) 2011, LNCS 6806 : 379 ~ 395 [2011]
  • PHAVer : Algorithmic Verification of Hybrid Systems Past HyTech
    G. Frehse Hybrid Systems : Computation and Control, LNCS 3414 : 258 ~ 273 [2005]
  • Modular Specification of Hybrid Systems in Charon
    R. Alur Hybrid Systems: Computation and Control : 6 ~ 19 [2000]
  • Modern Control Design: with MATLAB and SIMULINK
    A. Tewari Wiley Chichester [2002]
  • Modeling Cyber-Physical Systems
    P. Derler Proc. of the IEEE 100 (1) : 13 ~ 38 [2012]
  • Hybrid Systems: Computation and Control
    A. Girard Springer : 272 ~ 286 [2006]
  • Hybrid Systems III
    T. A. Henzinger Springer Berlin Heidelberg : 377 ~ 388 [1996]
  • Hybrid I/O Automata
    N. Lynch Information and Computation 185 (1) : 105 ~ 157 [2003]
  • HyTech : A Model Checker for Hybrid Systems
    T. A. Henzinger Software Tools for Technology Transfer 1 : 110 ~ 122 [1997]
  • Formal Verification of Basic DEV&DESS Formalism using HyTech
    H. Choi Information Journal 16 (1(B)) : 821 ~ 826 [2013]
  • Formal Verification and Simulation: Co-verification for Subway Control Systems
    H. Fang Theoretical Aspects of Software Engineering (TASE), 2012 Sixth International Symposium on, IEEE : 145 ~ 152 [2012]
  • Case Study: Verification of ECML Model Using SpaceEx
    J. Jo Korea-Japan Joint Workshop on ICT : 1 ~ 4 [2012]
  • Automatic Symbolic Verification of Embedded Systems
    R. Alur IEEE Transaction on Software Engineering 22 (3) : 181 ~ 201 [1996]
  • Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems
    E. Asarin Hybrid Systems : Computation and Control : 20 ~ 31 [2000]
  • A Theory of Timed Automata
    R. Alur Theoretical Computer Science 126 (2) : 183 ~ 235 [1994]