مرکز منطقه ای اطلاع رساني علوم و فناوري - A decidable class of problems for control under partial observation

Title of article :

A decidable class of problems for control under partial observation

Author/Authors :

Sophie Pinchinat، نويسنده , , Stéphane Riedweg، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2005

Pages :

From page :

454

To page :

460

Keywords :

Discrete-events systems , Optimal control , Temporal Logic , formal methods , Specification language , Supervision

Journal title :

Information Processing Letters

Serial Year :

2005

Journal title :

Information Processing Letters

Record number :

130121

Link To Document :