A model checker for hierarchical probabilistic real-time systems

A model checker for hierarchical probabilistic real-time systems

Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checker to analyze hierarchical probabilistic real-time systems. A modeling language called PRTS is used to specify such syste...

Saved in:

書目詳細資料
Main Authors:	SONG, Songzheng, SUN, Jun, LIU, Yang, DONG, Jin Song
格式:	text
語言:	English
出版:	Institutional Knowledge at Singapore Management University 2012
主題:	Model Checker Markov Decision Process Stochastic Game Time Automaton Friendly User Interface Programming Languages and Compilers Software Engineering
在線閱讀:	https://ink.library.smu.edu.sg/sis_research/5015 https://ink.library.smu.edu.sg/context/sis_research/article/6018/viewcontent/A_Model_Checker_for_Hierarchical_Probabilistic_Real_Time_Systems.pdf
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Model checking hierarchical probabilistic systems
由: SUN, Jun, et al.
出版: (2010)

Finding an optimal solution for the game of checkers
由: Delena, Raymund E., et al.
出版: (1996)

Towards a model checker for NesC and wireless sensor networks
由: ZHENG, Manchun, et al.
出版: (2011)

Intelligent checkers
由: Alino, Emily R., et al.
出版: (1993)

SCC-based improved reachability analysis for Markov decision processes
由: GUI, Lin, et al.
出版: (2014)

PRTS: An approach for model checking probabilistic real-time hierarchical systems
由: SUN, Jun, et al.
出版: (2011)

PAT 3: An extensible architecture for building multi-domain model checkers
由: Liu, Y., et al.
出版: (2013)

Model checking a model checker: A code contract combined approach
由: SUN, Jun, et al.
出版: (2010)

Parameter synthesis for hierarchical concurrent real-time systems
由: ANDRÉ, Étienne, et al.
出版: (2014)

More anti-chain based refinement checking
由: WANG, Ting, et al.
出版: (2012)

Avoiding state-space explosion in Model-Checker : M.A Thesis Information Technology : 60 48 01
由: Bùi, Phi Điệp
出版: (2017)

Ailbot: a Respiratory-Focused Symptom Checker Chatbot For Children
由: Arco, Gabrielle Mae V., et al.
出版: (2022)

A model checker for hierarchical probabilistic real-time systems
由: Song, S., et al.
出版: (2013)

Improved BDD-based discrete analysis of timed systems
由: NGUYEN, Truong Khanh, et al.
出版: (2012)

Developing model checkers using PAT
由: LIU, Yang, et al.
出版: (2010)

Event analytics
由: DONG, Jin Song, et al.
出版: (2014)

Giá trị của Brux-checker trong chẩn đoán nghiến răng khi ngủ
由: Nguyễn, Vũ Thúy Quỳnh
出版: (2020)

Modeling and verifying hierarchical real-time systems using stateful timed CSP
由: SUN, Jun, et al.
出版: (2013)

Loopster: Static loop termination analysis
由: XIE, Xiaofei, et al.
出版: (2017)

Towards Model-checking Probabilistic Timed Automata against Probabilistic Duration Properties
由: Dang, Van Hung, et al.
出版: (2017)

Differencing labeled transition systems
由: XING, Zhenchang, et al.
出版: (2011)

Sound and complete certificates for quantitative termination analysis of probabilistic programs
由: CHATTERJEE, Krishnendu, et al.
出版: (2022)

RISK-AWARE PREFERENCE ELICITATION, ESTIMATION AND OPTIMIZATION
由: HUANG WENJIE
出版: (2019)

SYNTACS: A spelling and grammar checker geared towards computer science
由: Ang, Judy, et al.
出版: (1993)

Timed automata patterns
由: DONG, Jin Song, et al.
出版: (2008)

Towards expressive specification and efficient model checking
由: DONG, Jin Song, et al.
出版: (2009)

Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction
由: HAO, Jianye, et al.
出版: (2012)

Towards explainable and semantically coherent claim extraction for an automated fact-checker
由: Yoswara, Jocelyn Valencia
出版: (2024)

Stochastic invariants for probabilistic termination
由: CHATTERJEE, Krishnendu, et al.
出版: (2017)

Automaton-based timed supervisory control for operational planning and scheduling under multiple job deadlines
由: Lin, Liyong, et al.
出版: (2016)

Managing Supply Systems with Partial Information on Shipment Locations
由: Bryan, Nana, et al.
出版: (2016)

Complexity of the soundness problem of workflow nets
由: LIU, Guan Jun, et al.
出版: (2014)

Machine-assisted proof support for validation beyond Simulink
由: CHEN, Chunqing, et al.
出版: (2007)

Integrating specification and programs for system modeling and verification
由: SUN, Jun, et al.
出版: (2009)

Towards using concurrent Java API correctly
由: LIU, Shuang, et al.
出版: (2016)

Probabilistic models for reliability assessment of ageing equipment and maintenance optimization
由: SARANGA KUMUDU ABEYGUNAWARDANE
出版: (2013)

A verification system for interval-based specification languages
由: CHEN, Chunqing, et al.
出版: (2010)

Widget detection-based testing for industrial mobile games
由: WU, Xiongfei, et al.
出版: (2023)

A formal framework for modeling and validating Simulink diagrams
由: CHEN, Chunqing, et al.
出版: (2009)

Using monterey phoenix to formalize and verify system architectures
由: ZHANG, Jiexin, et al.
出版: (2012)