Answered step by step
Verified Expert Solution
Link Copied!

Question

1 Approved Answer

A vessel where some chemical reaction takes place can be cooled by inserting two different rods, each with different cooling capacities. Only one rod can

A vessel where some chemical reaction takes place can be cooled by inserting two different rods, each with different cooling capacities. Only one rod can be inserted at a certain time. The vessel can be in three different states:
no rods: then the temperature T evolves according to the differential equation T'=0.1T-10.0
with rod1: equation is T'=0.1T-11.2
with rod2: equation is T'=0.1T-12.0(so rod2 cools better than {:rod1).
A rod will be inserted if the temperature reaches 110 degrees. A rod that is in the vessel will be removed from the vessel if the temperature is between 102 and 105 degrees. When a rod is removed, it cannot be used for 20 time units. Initial temperature is 102 degrees. The objective is to keep the temperature between 102 and 110 degrees. If the temperature is going up to 110 degrees but no rod is yet available, the system goes into a state Overheating.
2.a Specify the system in UPPAAL. Show that unfortunately it may reach state Overheating. What is the chance this happens within 100 time units?
image text in transcribed

Step by Step Solution

There are 3 Steps involved in it

Step: 1

blur-text-image

Get Instant Access to Expert-Tailored Solutions

See step-by-step solutions with expert insights and AI powered tools for academic success

Step: 2

blur-text-image

Step: 3

blur-text-image

Ace Your Homework with AI

Get the answers you need in no time with our AI-driven, step-by-step assistance

Get Started

Recommended Textbook for

SQL Server T-SQL Recipes

Authors: David Dye, Jason Brimhall

4th Edition

1484200616, 9781484200612

More Books

Students also viewed these Databases questions