Coordination of resources using generalized state-based requirements
暂无分享,去创建一个
[1] Ramon R. H. Schiffelers,et al. Foundations of a Compositional Interchange Format for Hybrid Systems , 2007, HSCC.
[2] W.M. Wonham,et al. STSLib and its application to two benchmarks , 2008, 2008 9th International Workshop on Discrete Event Systems.
[3] Lou Somers,et al. Specifying state-based supervisory control requirements , 2009 .
[4] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .
[5] Ramon R. H. Schiffelers,et al. Model-Based Engineering of Supervisory Controllers using CIF , 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
[6] Walter Murray Wonham,et al. Nonblocking supervisory control of state tree structures , 2005, IEEE Transactions on Automatic Control.
[7] Ingmar Ögren,et al. On principles for model-based systems engineering , 2000 .
[8] P. Ramadge,et al. Modular Supervisory Control of Discrete Event Systems , 1988 .
[9] Christos G. Cassandras,et al. Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.
[10] Ramon R. H. Schiffelers,et al. Supervisory control synthesis for a patient support system , 2009, 2009 European Control Conference (ECC).
[11] Ramon R. H. Schiffelers,et al. New Concepts in the Abstract Format of the Compositional Interchange Format , 2009, ADHS.