首页|期刊导航|自动化学报（英文版）|Control of Non-Deterministic Systems With μ-Calculus Specifications Using Quotienting

Control of Non-Deterministic Systems With μ-Calculus Specifications Using Quotienting

Samik Basu Ratnesh Kumar

自动化学报（英文版）2021，Vol.8Issue(5)：953-970,18.

自动化学报（英文版）2021，Vol.8Issue(5)：953-970,18.DOI:10.1109/JAS.2021.1003964

Samik Basu ¹Ratnesh Kumar²

作者信息

1. Department of Computer Science, Iowa State University, Iowa 50011-3060 USA
2. Department of Electrical and Computer Engineering, Iowa State University, Iowa 50011-3060 USA
折叠

Discrete event systems (DES)/non-deterministic plant/μ-calculus/supervisory control

Discrete event systems (DES)/non-deterministic plant/μ-calculus/supervisory control

Samik Basu,Ratnesh Kumar..Control of Non-Deterministic Systems With μ-Calculus Specifications Using Quotienting[J].自动化学报（英文版）,2021,8(5):953-970,18.

The work was supported in part by the National Sci-ence Foundation(NSF-ECCS-1509420,NSF-CSSI-2004766). （NSF-ECCS-1509420,NSF-CSSI-2004766）

OACSCDCSTPCDEI

ISSN：2329-9266

访问量0

下载量0

段落导航