论文信息 - Hybrid Systems in Industrial Process Control

Hybrid Systems in Industrial Process Control

IEEE CSS Technical Committee on Hybrid Systems scimanyd suounitnoc enibmoc smetsys dirbyH lacipyt (snoitauqe ecnereffid ro laitnereffid) scimanyd etercsid dna stnalp lacisyhp fo fo lacipyt (snoitidnoc lacigol dna atamotua) fo senilpicsid gninibmoc yB .cigol lortnoc ,yroeht lortnoc dna smetsys dna ecneics retupmoc dilos a edivorp smetsys dirbyh no hcraeser ,sisylana eht rof sloot lanoitatupmoc dna yroeht fo ngised lortnoc dna ,noitacifirev ,noitalumis egral a ni desu era dna ,''smetsys deddebme`` ria ,smetsys evitomotua) snoitacilppa fo yteirav ssecorp ,smetsys lacigoloib ,tnemeganam ciffart .(srehto ynam dna ,seirtsudni www.ist-hycon.org www.unisi.it 1 HYCON PhD School on Hybrid Systems st

Olaf Stursberg

[1] O. Stursberg,et al. A graph search algorithm for optimal control of hybrid systems , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[2] Olaf Stursberg. SYNTHESIS OF SUPERVISORY CONTROLLERS FOR HYBRID SYSTEMS USING ABSTRACTION REFINEMENT , 2005 .

[3] Olaf Stursberg,et al. Efficient Representation and Computation of Reachable Sets for Hybrid Systems , 2003, HSCC.

[4] Olaf Stursberg,et al. IMPROVING DEPENDABILITY OF LOGIC CONTROLLERS BY ALGORITHMIC VERIFICATION , 2005 .

[5] Olaf Stursberg,et al. Verification of PLC Programs Given as Sequential Function Charts , 2004, SoftSpez Final Report.

[6] Joël Ouaknine,et al. Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems , 2003, Int. J. Found. Comput. Sci..

[7] Olaf Stursberg,et al. Generation of Optimal Control Policies for Systems with Switched Hybrid Dynamics , 2002 .