Download presentation
Presentation is loading. Please wait.
Published byClifford Elwood Modified over 3 years ago
1
SDRL University of Pennsylvania 2/27/2002 CHARON toolkit overview DIVES Team University of Pennsylvania
2
SDRL University of Pennsylvania 2/27/2002 Outline Step-by-step construction and analysis of a model –Starting a project –Writing a model –Simulation and analysis Overview of the V2V model
3
SDRL University of Pennsylvania 2/27/2002 Starting a project Select New Project from the File menu Enter a name for the project directory –Directory thermostat –File thermostat.prj Write the model in the editor, save in the project directory Use Add Files from the Project menu to incorporate the model into the project Use Build Model from the Project menu
4
SDRL University of Pennsylvania 2/27/2002 Simple model: thermostat Single agent (no concurrency) Three modes Two continuous variables Parameters: low, high, ε heatcool check d(temp) = 2d(temp) = -temp d(temp) = -temp/2 d(clock) = 1 initial values: temp = 5.5 clock = 0 temp ≥ high-ε temp ≤ low+ε clock ≥ 2 clock:=0 clock ≤ 0.5 clock:=0 temp≤high & clock ≤3temp≥low clock ≤1
5
SDRL University of Pennsylvania 2/27/2002 Model analysis Simulation –Generate simulator ( Simulate menu) –Configure simulation display (optional) –Start simulation Reachability analysis –Convert to flat model ( Check>Reachability>Convert menu) –Add initial region, “bad” region, and predicates –Start the reachability tool
Similar presentations
© 2018 SlidePlayer.com Inc.
All rights reserved.
Ppt on soft skills for nurses Ppt on good email etiquettes File type ppt on cybercrime convention Ppt on planet mercury Ppt on 3 idiots movie download Ppt on power supply Ppt on trial and error quotes Ppt on abstract art gallery Ppt on global marketing strategies Colon anatomy and physiology ppt on cells