## Video

1
13
54
120
343
403
713
724
846
1001
1007
1008
1017
1117
1279
1300
1324
1337
1490
1569
1650
1651
1871
1872
1873
1888
1921
1934
1940
2229
2392
2561
2723
2792
2845
2989
3167
3251
3336
3528
3646
3687
3736
3789
3817
3880
3897
3960
4002
4063
4174
4256
4310

Lecture Structure

- II Foundations (00:00:01)
- i Reminder Hybrid (00:00:13)
- continuous variable x with (00:00:13)
- Clock (00:00:13)
- Continuous equations per state (00:00:13)
- Basic extension to timed (00:00:13)
- Reminder Semantic Problem Zeno Behavior (00:00:54)
- Semantic Problem Time Stopping Deadlocks (00:02:00)
- Semantics Open Closed (00:06:42)
- F and continuous sets V (00:06:42)
- Definition A hybrid automaton described by a 6 (00:06:42)
- is closed if (00:06:42)
- 3 and continuous sets V V (00:06:42)
- t hybrid automaton (00:06:42)
- n described by a 6 tuple (00:06:42)
- Definition (00:06:42)
- Semantics Non Determinism (00:06:43)
- II Foundations (00:11:53)
- II 4 Model Properties (00:12:04)
- Temporal Logics (00:14:06)
- Linear Temporal Logic (00:16:41)
- Example for p 2 to 2 (00:16:41)
- Additional temporal operators G globally E eventually U until (00:16:41)
- Temporal Logics (00:16:48)
- Linear Temporal Logic (00:16:57)
- Example for combine 1 p 2 to 2 (00:16:57)
- Additional temporal operators G globally E eventually U until (00:16:57)
- TYPES of SEQ UEI1CE Properties (00:18:37)
- Example Light Controller (00:21:19)
- Specifications (00:21:40)
- Example Light Controller (00:22:04)
- Specifications (00:22:17)
- Safety Property Examples (00:24:50)
- Bouncing Ball Examples (00:26:09)
- Examples (00:27:31)
- Completeness of Safety (00:31:11)
- sufficiently small (00:31:11)
- Remark But ensemble properties which are a property of the (00:31:11)
- property and a (00:31:11)
- Theorem For any non empty sequence property p exists a safety (00:31:11)
- Stability (00:31:12)
- Examples (00:31:27)
- Completeness of Safety (00:31:28)
- whole family of (00:31:28)
- Remark But ensemble properties which are a (00:31:28)
- property and a (00:31:28)
- Theorem For empty sequence p exists a safety (00:31:28)
- Stability (00:32:01)
- Completeness of Safety (00:32:19)
- e Q stability (00:32:19)
- whole family of solutions (00:32:19)
- Remark But ensemble properties which are a (00:32:19)
- Theorem For non empty sequence p exists a safety (00:32:19)
- Stability (00:32:20)
- Stability for Hybrid (00:37:09)
- n Controllability (00:39:52)
- a Player Game (00:42:41)
- N Player Game (00:45:23)
- state control Q for each agent (00:45:23)
- gents adjust 1 (00:45:23)
- goals of all agents Assuming a l g for each (00:45:23)
- Observability (00:46:32)
- Robustness (00:47:25)
- II 5 Probabilistic Models (00:49:49)
- II 5 1 Markov Models (00:52:47)
- The Phases for Markov Modeling (00:54:11)
- Model for Active Redundant System (00:55:36)
- II 5 2 Generalized Stochastic Petri Nets (00:58:48)
- Standard Petri Nets (01:00:46)
- Transition Firing Rule (01:01:27)
- Transition Firing Rule Time (01:02:16)
- Stochastic Petri nets (01:03:09)
- Example for the Firing (01:03:37)
- Generalized Stochastic Petri nets (01:04:40)
- Example for the Firing of GSI5Ns (01:06:00)
- Generalized Stochastic Petri nets Inhibitor Arcs (01:06:42)
- Analysis of (01:07:43)
- see it index (01:07:43)
- performance bounds for timed P T nets linear programming (01:07:43)
- Markovian solvers for steady state transient performance evaluation (01:07:43)
- reachability graph generation and analysis programs (01:07:43)
- structural properties for nets with priorities and inhibitor arcs (01:07:43)
- Modeling (01:09:34)
- a solution of the Markov support for all steps exists (01:09:34)
- n performance definition of markings and (01:09:34)
- n mode analysis possibly formal proves (01:09:34)
- a model construction usually by means of structured techniques (01:09:34)
- Model Simulation vs Analytical Solutions (01:10:56)
- II 6 Discussion Summary (01:14:55)

Links added to this content

No links have been added to this content so far.

Tags added to this content

No tags have been added to this content so far.

Create Note

Dear user,

with the manuscript function you'll be able to create your own digital lecture manuscript.

However, in order to link all your notes with your user profile it is required that you

login to the tele-TASK portal to use this functionality.

If you don't have an account yet, you may register for a tele-TASK account here.

with the manuscript function you'll be able to create your own digital lecture manuscript.

However, in order to link all your notes with your user profile it is required that you

login to the tele-TASK portal to use this functionality.

If you don't have an account yet, you may register for a tele-TASK account here.

Place a Marker

Dear user,

with the marker function you'll be able to create your own digital time markers.

However, in order to link all your markers with your user profile it is required that you

login to the tele-TASK portal to use this functionality.

If you don't have an account yet, you may register for a tele-TASK account here.

with the marker function you'll be able to create your own digital time markers.

However, in order to link all your markers with your user profile it is required that you

login to the tele-TASK portal to use this functionality.

If you don't have an account yet, you may register for a tele-TASK account here.

Please enable javascript to use this function.

Keyword

Please enable javascript to use this function.

Add to my playlist

Dear user,

with the playlist function you'll be able to create your own lecture video playlists.

However, in order to link all your playlists with your user profile it is required that you

login to the tele-TASK portal to use this functionality.

If you don't have an account yet, you may register for a tele-TASK account here.

with the playlist function you'll be able to create your own lecture video playlists.

However, in order to link all your playlists with your user profile it is required that you

login to the tele-TASK portal to use this functionality.

If you don't have an account yet, you may register for a tele-TASK account here.

Playlists

This content is not used in any playlist.