Extremal solutions of inequations over lattices with applications to supervisory control

Author： Kumar R.   Garg V.K.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.148, Iss.1, 1995-08, pp. : 67-92

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Designing communicating transaction processes by supervisory control theory

By Feng L.   Wonham W.   Thiagarajan P.  

Formal Methods in System Design, Vol. 30, Iss. 2, 2007-04 ,pp. : 117-141

Springer Publishing Company

Access to resources Recommend Favorite

Safe Supervisory Control Under Observability Failure

By Sánchez Antonia   Montoya Francisco  

Discrete Event Dynamic Systems, Vol. 16, Iss. 4, 2006-12 ,pp. : 493-525

Springer Publishing Company

Access to resources Recommend Favorite

Approximating the Minimal Sensor Selection for Supervisory Control

By Rohloff Kurt   Khuller Samir   Kortsarz Guy  

Discrete Event Dynamic Systems, Vol. 16, Iss. 1, 2006-01 ,pp. : 143-170

Springer Publishing Company

Access to resources Recommend Favorite

PSPACE-completeness of Modular Supervisory Control Problems*

By Rohloff Kurt   Lafortune Stéphane  

Discrete Event Dynamic Systems, Vol. 15, Iss. 2, 2005-06 ,pp. : 145-167

Springer Publishing Company

Access to resources Recommend Favorite

Multitasking Supervisory Control of Discrete-Event Systems

By Queiroz Max   Cury José   Wonham W.  

Discrete Event Dynamic Systems, Vol. 15, Iss. 4, 2005-12 ,pp. : 375-395

Springer Publishing Company

Access to resources Recommend Favorite