<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=iso-8859-2"><meta name=Generator content="Microsoft Word 14 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:SimSun;
panose-1:2 1 6 0 3 1 1 1 1 1;}
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:"\@SimSun";
panose-1:2 1 6 0 3 1 1 1 1 1;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman","serif";
mso-fareast-language:SL;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri","sans-serif";}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 70.85pt 70.85pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=SL link=blue vlink=purple><div class=WordSection1><p class=MsoNormal>Vabim vas na 12. predavanje iz sklopa "Kolokviji na IJS" v letu 2010/11, ki bo <strong><span style='color:red'> v sredo, 6. aprila 2011, ob 13:00 uri </span></strong><b><span style='color:red'>v Veliki predavalnici</span></b><span style='color:red'> Instituta »Jožef Stefan«</span> na Jamovi cesti 39 v Ljubljani. Napovednik predavanja najdete tudi na naslovu <a href="http://www.ijs.si/ijsw/Koledar_prireditev">http://www.ijs.si/ijsw/Koledar_prireditev</a>, posnetke preteklih predavanj<span style='color:blue'> </span>pa na <a href="http://videolectures.net/kolokviji_ijs">http://videolectures.net/kolokviji_ijs</a>. <o:p></o:p></p><p class=MsoNormal>~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~<br><br><b><span style='mso-fareast-language:ZH-CN'><o:p></o:p></span></b></p><p class=MsoNormal><b><span style='mso-fareast-language:ZH-CN'>prof. Tom Henzinger<o:p></o:p></span></b></p><p class=MsoNormal><i>IST Austria<o:p></o:p></i></p><p class=MsoNormal><i><span style='mso-fareast-language:ZH-CN'><o:p> </o:p></span></i></p><p class=MsoNormal style='text-align:justify;text-justify:inter-ideograph'><b><span style='font-size:14.0pt'>Igre, čas in verjetnosti: modeli in algoritmi za načrtovanje in analizo<o:p></o:p></span></b></p><p class=MsoNormal style='text-align:justify;text-justify:inter-ideograph'><span style='font-size:11.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p><p class=MsoNormal style='text-align:justify;text-justify:inter-ideograph'>Digitalna tehnologija, od medicinskih aplikacij do “drive-by-wire” sistemov, je vedno bolj izpostavljena varnostno-kritičnim situacijam. To naravnost kliče k sistematičnemu načrtovanju in preverjanju treh najpomembnejših virov kompleksnega obnašanja sistemov: hkratnost, realni čas ter negotovost. V predavanju bo predstavljen dvostopenjski proces: formalno modeliranje ki mu sledi algoritemska analiza. Posamezne komponente istočasnega sistema modeliramo kot potencialne sodelavce ali svetovalce v igrah z začasnimi cilji, kot je na primer varnost. Realni čas strojne in programske opreme modeliramo s hibridnimi dinamičnimi sistemi, ki kombinirajo tako diskretne prehode med stanji kot tudi stalen razvoj stanj. Negotovost v okolju je seveda modelirana s stohastičnim obnašanjem.<i><span style='mso-fareast-language:ZH-CN'><o:p></o:p></span></i></p><p class=MsoNormal style='mso-margin-top-alt:auto;margin-bottom:12.0pt;text-align:justify;text-justify:inter-ideograph'>Predavanje bo v angleščini.<o:p></o:p></p><p class=MsoNormal style='mso-margin-top-alt:auto;margin-bottom:12.0pt'><strong><span style='font-family:"Calibri","sans-serif";color:red'>Lepo vabljeni!</span></strong><strong><span style='font-weight:normal'><o:p></o:p></span></strong></p><p class=MsoNormal align=center style='text-align:center'><b><span style='font-size:16.0pt;font-family:"Calibri","sans-serif"'>***<o:p></o:p></span></b></p><p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif"'><o:p> </o:p></span></p><p class=MsoNormal style='text-align:justify;text-justify:inter-ideograph'><span lang=EN-US>We would like to invite you to 12th lecture of the "Kolokvij na IJS" in the school year 2010/11. The lecture will be held <b>on Wednesday, April 6, 2011, at 1 pm</b> at the <b>JSI main lecture hall</b>, Jamova 39, Ljubljana. The abstract of the lecture can be found on website: </span><span lang=EN-US style='font-size:10.0pt'><a href="http://www.ijs.si/ijsw/Koledar_prireditev"><span style='font-size:12.0pt'>http://www.ijs.si/ijsw/Koledar_prireditev</span></a></span><span lang=EN-US>, the previous recorded lectures can be found on website: </span><span lang=EN-US style='font-size:10.0pt'><a href="http://videolectures.net/kolokviji_ijs"><span style='font-size:12.0pt'>http://videolectures.net/kolokviji_ijs</span></a></span><span lang=EN-US>.</span><span lang=EN-US style='font-size:10.0pt'> </span><span lang=EN-US><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>********************************************<br><br></span><b><span style='mso-fareast-language:ZH-CN'><o:p></o:p></span></b></p><p class=MsoNormal><b><span style='mso-fareast-language:ZH-CN'><o:p> </o:p></span></b></p><p class=MsoNormal><b><span style='mso-fareast-language:ZH-CN'>Prof. Tom Henzinger<o:p></o:p></span></b></p><p class=MsoNormal><i><span style='mso-fareast-language:ZH-CN'>IST Austria<o:p></o:p></span></i></p><p class=MsoNormal><b><span lang=EN-US style='font-size:16.0pt'><o:p> </o:p></span></b></p><p class=MsoNormal><b><span lang=EN-US style='font-size:16.0pt'>Games, Time, and Probabilities: Models and Algorithms for System Design and Analysis<o:p></o:p></span></b></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal style='text-align:justify;text-justify:inter-ideograph'><span lang=EN-US>Digital technology, from medical implants to drive-by-wire systems, is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources of system complexity: concurrency, real time, and uncertainty. We advocate a two-step process: formal modeling followed by algorithmic analysis (or, "model building" followed by "model checking"). We model the components of a concurrent system as potential collaborators or adversaries in a multi-player game with temporal objectives, such as system safety. The real-time aspects of hardware and software are modeled by hybrid dynamical systems that combine both discrete state transitions and continuous state evolutions. Uncertainty in the environment is naturally modeled by stochastic behavior. As a result, we obtain three orthogonal extensions of basic state-transition graph models of systems --game graphs, timed graphs, and Markov decision processes-- and all combinations thereof.<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;text-justify:inter-ideograph'><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><b><span lang=EN-US style='font-size:14.0pt'><o:p> </o:p></span></b></p><p class=MsoNormal><b><span lang=EN-US style='font-size:14.0pt'>We look forward to meeting you at the “Kolokvij na IJS”!<o:p></o:p></span></b></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-size:11.0pt;font-family:"Calibri","sans-serif"'><o:p> </o:p></span></p></div></body></html>