On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies

2004 ◽  
pp. 52-67 ◽  
Author(s):  
Jennifer M. Davoren ◽  
Thomas Moor ◽  
R. P. Goré ◽  
Vaughan Coulthard ◽  
Anil Nerode
Keyword(s):  
Model Checking ◽  
Problem Formulation ◽  
Approximate Model

A two-step scheme for approximate model checking of stochastic hybrid systems

2011 ◽  
Vol 44 (1) ◽  
pp. 4519-4524 ◽  
Author(s):  
A. Abate ◽  
J.P. Katoen ◽  
J. Lygeros ◽  
M. Prandini
Keyword(s):  
Model Checking ◽  
Hybrid Systems ◽  
Approximate Model ◽  
Stochastic Hybrid Systems

scholarly journals Approximate Model Checking Using a Subset of First-order Logic

2010 ◽  
Vol 3 ◽  
pp. 268-282 ◽  
Author(s):  
Kiyoharu Hamaguchi ◽  
Kazuya Masuda ◽  
Toshinobu Kashiwabara
Keyword(s):  
Model Checking ◽  
Approximate Model ◽  
Order Logic ◽  
First Order Logic ◽  
First Order

Approximate Model Checking of Stochastic Hybrid Systems

2010 ◽  
Vol 16 (6) ◽  
pp. 624-641 ◽  
Author(s):  
Alessandro Abate ◽  
Joost-Pieter Katoen ◽  
John Lygeros ◽  
Maria Prandini
Keyword(s):  
Model Checking ◽  
Hybrid Systems ◽  
Approximate Model ◽  
Stochastic Hybrid Systems

The Internet

2011 ◽  
pp. 209-219 ◽  
Author(s):  
Ray J. Paul
Keyword(s):  
Data Collection ◽  
Problem Formulation ◽  
Approximate Model ◽  
Mental Activity ◽  
The Internet ◽  
Decision Aiding ◽  
Alternative Approach ◽  
Alternative Approaches ◽  
Classical Decision ◽  
The Web

Problem formulation, data collection, modeling, testing running, analyzing and results–these are the pre-Internet staged approaches to decision aiding, when the modeling time allowed to the analyst was to some extent determined by the fact there were few alternative approaches that were either better and/or faster. It is possible that the Internet now facilitates “cut-and-paste” modeling, the development of an acceptable approximate model, suitable for the immediate decision, constructed from bits of programs from anywhere on the Web. It is this possibility that is examined in this chapter. First we look at classical decision modeling, then at a hypothesized Internet alternative approach and lastly mention some dangers of the Internet approach, which is, what might happen to the benefits of mental activity?

Sign in / Sign up

Export Citation Format

Share Document