[1]
|
Xia Y Q. From networked control systems to cloud control systems. In:Proceedings of the 31st Chinese Control Conference. Las Vegas, Nevada, USA:IEEE, 2012. 5878-5883
|
[2]
|
Xia Y Q. Cloud control systems. IEEE/CAA Journal of Automatica Sinica, 2015, 2(2):134-142 doi: 10.1109/JAS.2015.7081652
|
[3]
|
Xia Y Q, Fu M Y, Liu G P. Analysis and Synthesis of Networked Control Systems. Berlin:Springer-Verlag, 2011.
|
[4]
|
Antonopoulos N, Gillam L. Cloud Computing. Berlin:Springer-Verlag, 2010.
|
[5]
|
Floerkemeier C, Langheinrich M, Fleisch E, Mattern F, Sarma S E. The Internet of Things. Berlin:Springer-Verlag, 2008.
|
[6]
|
Braubach L, Briot J P, Thangarajah J. Programming Multi-Agent Systems. Berlin:Springer-Verlag, 2010.
|
[7]
|
Kaneko K, Tsuda I. Complex Systems:Chaos and Beyond. Berlin:Springer-Verlag, 2001.
|
[8]
|
夏元清.云控制系统及其面临的挑战.自动化学报, 2016, 42(1):1-12 http://www.aas.net.cn/CN/abstract/abstract18791.shtmlXia Yuan-Qing. Cloud control systems and their challenges. Acta Automatica Sinica, 2016, 42(1):1-12 http://www.aas.net.cn/CN/abstract/abstract18791.shtml
|
[9]
|
Peterson J L. Petri Net Theory and the Modeling of Systems. Englewood Cliffs:Prentice-Hall, 1981.
|
[10]
|
Reisig W. Petri Nets:An Introduction. Berlin:Springer-Verlag, 1985.
|
[11]
|
Murata T. Petri nets:properties, analysis and applications. Proceedings of the IEEE, 1989, 77(4):541-580 doi: 10.1109/5.24143
|
[12]
|
Fan L J, Wang Y Z, Li J Y, Cheng X Q, Lin C. Privacy Petri net and privacy leak software. Journal of Computer Science and Technology, 2015, 30(6):1318-1343 doi: 10.1007/s11390-015-1601-7
|
[13]
|
Tavares J J P Z D S, Saraiva T A. Elementary Petri net inside RFID distributed database (PNRD). International Journal of Production Research, 2010, 48(9):2563-2582 doi: 10.1080/00207540903564934
|
[14]
|
Gradišar D, Mušič G. Production-process modelling based on production-management data:a Petri-net approach. International Journal of Computer Integrated Manufacturing, 2007, 20(8):794-810 doi: 10.1080/09511920601103064
|
[15]
|
Khan N A, Ahmad F. Modeling and simulation of an improved random direction mobility model for wireless networks using colored Petri nets. Simulation, 2016, 92(4):323-336 doi: 10.1177/0037549716634435
|
[16]
|
Baruwa O T, Piera M A, Guasch A. Deadlock-free scheduling method for flexible manufacturing systems based on timed colored Petri nets and anytime heuristic search. IEEE Transactions on Systems, Man, and Cybernetics:Systems, 2015, 45(5):831-846 doi: 10.1109/TSMC.2014.2376471
|
[17]
|
Cuninghame-Green R A. Minimax Algebra. Berlin:Springer-Verlag, 1979.
|
[18]
|
Baccelli F, Cohen G, Olsder G J, Quadrat J P. Synchronization and Linearity:An Algebra for Discrete Event Systems. New York:John Wiley and Sons, 1992.
|
[19]
|
Heidergott B, Olsder G J, van der Woude J. Max Plus at Work:Modeling and Analysis of Synchronized Systems:A Course on Max-Plus Algebra and Its Applications. New Jersey:Princeton University Press, 2006.
|
[20]
|
Gaubert S. Théorie des Systémes Linéaires dans les Dioides[Ph.D. dissertation], Ecole Nationale Supérieure des Mines de Paris, French, 1992.
|
[21]
|
陈文德, 齐向东.离散事件动态系统的周期配置.中国科学(A辑), 1993, 23(1):1-7 http://d.wanfangdata.com.cn/Conference/191447Chen Wen-De, Qi Xiang-Dong. Period assignment of discrete event dynamic systems. Science in China (Series A), 1993, 23(1):1-7 http://d.wanfangdata.com.cn/Conference/191447
|
[22]
|
Gaubert S, Gunawardena J. The duality theorem for min-max functions. Comptes Rendus de l'Académie des Sciences, Series Ⅰ:Mathematics, 1998, 326(1):43-48 doi: 10.1016/S0764-4442(97)82710-3
|
[23]
|
Zhao Q C. A remark on inseparability of min-max systems. IEEE Transactions on Automatic Control, 2004, 49(6):967-970 doi: 10.1109/TAC.2004.829611
|
[24]
|
Cohen G, Dubois D, Quadrat J P, Viot M. Linear system theory for discrete event systems. In:Proceedings of the 23rd IEEE Conference on Decision and Control. Las Vegas, Nevada, USA:IEEE, 1984. 539-544
|
[25]
|
Necoara I, De Schutter B, van den Boom T, Hellendoorn H. Robust control of constrained max-plus-linear systems. International Journal of Robust and Nonlinear Control, 2009, 19(2):218-242 doi: 10.1002/rnc.v19:2
|
[26]
|
王龙, 郑大钟.线性离散事件动态系统的可达性.高校应用数学学报, 1990, 5(2):292-301Wang Long, Zheng Da-Zhong. On the reachability of linear discrete event dynamic systems. Applied Mathematics:A Journal of Chinese Universities, 1990, 5(2):292-301
|
[27]
|
Tao Y G, Liu G P, Mu X W. Max-plus matrix method and cycle time assignability and feedback stabilizability for min-max-plus systems. Mathematics of Control, Signals, and Systems, 2013, 25(2):197-229 doi: 10.1007/s00498-012-0098-7
|
[28]
|
Adzkiya D, De Schutter B, Abate A. Computational techniques for reachability analysis of max-plus-linear systems. Automatica, 2015, 53:293-302 doi: 10.1016/j.automatica.2015.01.002
|
[29]
|
De Schutter B, van den Boom T. Model predictive control for max-plus-linear discrete event systems. Automatica, 2001, 37(7):1049-1056 doi: 10.1016/S0005-1098(01)00054-1
|
[30]
|
van den Boom T, De Schutter B. Properties of MPC for max-plus-linear systems. European Journal of Control, 2002, 8(5):453-462 doi: 10.3166/ejc.8.453-462
|
[31]
|
Trobec R, Vajteršic M, Zinterhof P. Parallel Computing. Berlin:Springer-Verlag, 2009.
|
[32]
|
Olsder G J, Roos C. Cramer and Cayley-Hamilton in the max algebra. Linear Algebra and Its Applications, 1988, 101:87-108 doi: 10.1016/0024-3795(88)90145-0
|
[33]
|
De Schutter B, De Moor B. A note on the characteristic equation in the max-plus algebra. Linear Algebra and Its Applications, 1997, 261(1-3):237-250 doi: 10.1016/S0024-3795(96)00407-7
|
[34]
|
Cohen G, Dunois D, Quadrat J, Viot M. A linear-system-theoretic view of discrete-event processes and its use for performance evaluation in manufacturing. IEEE Transactions on Automatic Control, 1985, 30(3):210-220 doi: 10.1109/TAC.1985.1103925
|
[35]
|
Chen W D, Qi X D, Deng S H. The eigen-problem and period analysis of the discrete-event system. Systems Science and Mathematical Sciences, 1990, 3(3):243-260
|
[36]
|
Karp R M. A characterization of the minimum cycle mean in a digraph. Discrete Mathematics, 1978, 23(3):309-311 doi: 10.1016/0012-365X(78)90011-0
|
[37]
|
Hassanien A E, Azar A T, Snasael V, Kacprzyk J, Abawajy J H. Big Data in Complex Systems. Berlin:Springer-Verlag, 2015.
|