Using simulation for the validation of high level specifications of control systems

Using simulation for the validation of high level specifications of control systems

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 automatica...

Saved in:

書目詳細資料
Main Authors:	Jumpamule W., Paillet J.-L., Giambiasi N.
格式:	Article
語言:	English
出版:	2014
在線閱讀:	http://www.scopus.com/inward/record.url?eid=2-s2.0-0346361546&partnerID=40&md5=b18e4f7822f40c0683ca0fe19fe639c8 http://cmuir.cmu.ac.th/handle/6653943832/5724
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	Chiang Mai University
語言:	English

相似書籍

The validity and incremental validity of knowledge tests, low-fidelity simulations, and high-fidelity simulations for predicting job performance in advanced-level high-stakes selection
由: LIEVENS, Filip, et al.
出版: (2011)

BSN simulator: Optimizing application using system level simulation
由: Cutcutache, I., et al.
出版: (2013)

Detection of LiveLock in BPMN using process expression
由: Tantitharanukul N., et al.
出版: (2017)

Computer simulation of electric field level for design of high-voltage systems
由: Ang, Daniel Chin Chye
出版: (2011)

Inferring Class Level Specifications for Distributed Systems
由: KUMAR, Sandeep, et al.
出版: (2012)

Inferring class level specifications for distributed systems
由: Kumar, S., et al.
出版: (2013)

Reminding system for safety smartphone using to reduce symptoms of computer vision syndrome
由: Watcharee Jumpamule, et al.
出版: (2019)

DESIGN OF OPERATOR TRAINING SIMULATOR FOR STEAM DRUM LEVEL CONTROL IN STEAM POWER PLANT USING DISTRIBUTED CONTROL SYSTEM
由: Khasanah (NIM : 13313064), Uswatun

DESIGN OF OPERATOR TRAINING SIMULATOR FOR STEAM DRUM LEVEL CONTROL IN STEAM POWER PLANT USING DISTRIBUTED CONTROL SYSTEM
由: ( NIM : 13313058, Bellinda

An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications
由: Sun, Y., et al.
出版: (2014)

Dynamic modeling and simulation of power systems with high-level wind power generation
由: Luo, Ye
出版: (2020)

MODELING AND SIMULATION OF LONGITUDINAL CONTROL SYSTEM FOR HIGH-SPEED MINIBE USING X-PLANE
由: Rafiza, Naufal

Automating timed specification transparency for human designer validation of real-time discrete-event control requirements
由: Dhananjayan, Amrith., et al.
出版: (2013)

QUALITY IMPROVEMENT AND VALIDATION TECHNIQUES ON SOFTWARE SPECIFICATION AND DESIGN
由: LIU SHUANG
出版: (2015)

Finite-element simulation and validation of stepwise drying of bananas
由: Ranjan, R., et al.
出版: (2014)

Traffic flow simulation validation
由: Ang, Yong Chuan
出版: (2018)

Validation method for determining enrofloxacin and tylosin levels in broiler liver, kidney, and muscle using high-performance liquid chromatography
由: Wijayanti, Agustina Dwi, et al.
出版: (2022)

Stochastic Simulation, Prediction, and Validation of Nonlinear Models
由: Mariano, Roberto S., et al.
出版: (1989)

System level simulation of a high power density point-of-load (POL) converters
由: Ang, Liang Sheng
出版: (2017)

High-precision modulation of a safety-critical cyber-physical system : control synthesis and experimental validation
由: Li, Yutong, et al.
出版: (2019)

WATER LEVEL CONTROL SIMULATION ON MINI PLANT WITH FEEDBACK CONTROL STRATEGY USING PROPORTIONAL AND PROPORTIONAL + INTEGRAL CONTROLLERS
由: Olga, Venettia

Systemic levels of cytokines and GAD-specific autoantibodies isotypes in Chinese IDDM patients
由: Ng, W.Y., et al.
出版: (2016)

Composable simulation models and their formal validation
由: CLAUDIA SZABO
出版: (2011)

Design validation and simulation of Wells turbine blades
由: Aquino, Inno Jose Dominador C., et al.
出版: (2021)

Detecting deadlock and multiple termination in BPMN model using process automata
由: Tantitharanukul N., et al.
出版: (2014)

Development and validation of the Menopause-specific Quality of Life Scale for menopausal Thai women
由: S. Chaikittisilpa, et al.
出版: (2018)

BOILER DRUM MODELLING, LEVEL CONTROL SYSTEM AND SIMULATOR DESIGN AT PLTU JERANJANG UNIT III
由: Satrio Rachman, Arief

BOILER DRUM MODELLING, LEVEL CONTROL SYSTEM AND SIMULATOR DESIGN AT PLTU JERANJANG UNIT III
由: Karunianto Wibowo, Dena

Validation of independent software-based calculation in patient-specific quality assurance
由: Yasmine Joy Labagnoy
出版: (2022)

Cloning mechanisms for high level architecture based distributed simulation
由: Chen, Dan
出版: (2008)

System level modeling for simulation of ΔΣ modulator
由: Yang, Chuang
出版: (2009)

Simulation and validation of Airflow Past Hand-Shape Mold Using OpenFOAM
由: K. Loksupapaiboon, et al.
出版: (2020)

Test and Validation of Building Energy Simulation Tools
由: ZHANG XIANGJING
出版: (2012)

An approach for validation of semantic composability in simulation models
由: Szabo, C., et al.
出版: (2013)

On validation of semantic composability in data-driven simulation
由: Szabo, C., et al.
出版: (2013)

Behavioural modelling and system-level simulation of micromechanical beam resonators
由: Khine, L., et al.
出版: (2014)

Agent-based modeling and simulation for business systems ; Agent-based simulation and validation for oil refinery supply chain (II)
由: Chia, Louis
出版: (2015)

Detection of LiveLock in BPMN using process expression
由: Nasi Tantitharanukul, et al.
出版: (2018)

Data-driven operation and control for power systems with high-level renewable energy resources
由: Yan, Ziming
出版: (2022)

Computational fluid dynamics analysis and validation of blood flow in Coronary Artery Bypass Graft using specific models
由: Ravi Laohasurayodhin, et al.
出版: (2018)