| ชื่อเรื่อง | : | Using simulation for the validation of high level specifications of control systems |
| นักวิจัย | : | Jumpamule W. , Paillet J.-L. , Giambiasi N. |
| คำค้น | : | - |
| หน่วยงาน | : | มหาวิทยาลัยเชียงใหม่ |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2546 |
| อ้างอิง | : | 09210296 , 10.1023/B:JINT.0000004930.97126.c4 , JIRSE , http://www.scopus.com/inward/record.url?eid=2-s2.0-0346361546&partnerID=40&md5=b18e4f7822f40c0683ca0fe19fe639c8 , http://cmuir.cmu.ac.th/handle/6653943832/5724 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | In this paper, we present a methodology for modeling real-time systems using high level specification DECM (discrete event calculus model) and DEVS formalisms. In this methodology, the control system is specified by the way of a DECM user language description. This formal specification is automatically transformed into an atomic DEVS (discrete event system specification) model, and DEVS simulation of the coupled models (control system and plant) is used to validate the initial DECM specifications. The paper discusses the building of DECM specifications, the transformation of DECM specifications into a DEVS model and the simulation of the coupled DEVS model. |
| บรรณานุกรม | : |
Jumpamule W. , Paillet J.-L. , Giambiasi N. . (2546). Using simulation for the validation of high level specifications of control systems.
เชียงใหม่ : มหาวิทยาลัยเชียงใหม่ . Jumpamule W. , Paillet J.-L. , Giambiasi N. . 2546. "Using simulation for the validation of high level specifications of control systems".
เชียงใหม่ : มหาวิทยาลัยเชียงใหม่ . Jumpamule W. , Paillet J.-L. , Giambiasi N. . "Using simulation for the validation of high level specifications of control systems."
เชียงใหม่ : มหาวิทยาลัยเชียงใหม่ , 2546. Print. Jumpamule W. , Paillet J.-L. , Giambiasi N. . Using simulation for the validation of high level specifications of control systems. เชียงใหม่ : มหาวิทยาลัยเชียงใหม่ ; 2546.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
