Nội dung được dịch bởi AI, chỉ mang tính chất tham khảo
Đánh giá phân tích thời gian chu kỳ trên các đồ thị sự kiện đồng thời xung đột trong đại số (Max,+)
Tóm tắt
Nghiên cứu này liên quan đến việc đánh giá hiệu suất của Đồ thị Sự kiện Thời gian Xung đột (CTEG), một loại mạng Petri thể hiện các hiện tượng như đồng bộ hóa, tính song song và chia sẻ tài nguyên. Được biết rằng động lực của Đồ thị Sự kiện Thời gian (TEG) cho phép một đại diện không gian trạng thái tuyến tính trong đại số (Max,+), điều này giúp cho việc phân tích và kiểm soát lớp này trở nên dễ dàng hơn. Cũng có khả năng liên kết các xung đột với TEG bằng cách thêm các vị trí xung đột mà chủ yếu được coi là an toàn; lớp mở rộng này được gọi là CTEG. Chúng tôi trước tiên trình bày một đánh giá phân tích về thời gian chu kỳ của CTEG như một hàm của thời gian chu kỳ của mỗi TEG và các bộ đếm thời gian của các vị trí xung đột. Cuối cùng, trong một bối cảnh tổng quát hơn, chúng tôi tìm kiếm một cách nới lỏng giả thuyết an toàn về các vị trí xung đột nhằm mô hình hóa và đánh giá thời gian chu kỳ trên CTEG với nhiều tài nguyên chia sẻ.
Từ khóa
#Đồ thị sự kiện thời gian xung đột #mạng Petri #đại số (Max #+) #đồng bộ hóa #tài nguyên chia sẻ #thời gian chu kỳ.Tài liệu tham khảo
Addad B, Amari S, Lesage J-J (2010) Modélisation de réseaux de graphes d’évènement temporisés avec conflits dans l’algèbre (Max,+). IEEE Conférence Internationale Francophone d’Automatique, Paper n°22 Nancy, France
Addad B, Amari S, Lesage J-J (2011) Genetic algorithms for delays evaluation in networked automation systems. Eng Appl Artif Intell 24(3):485–490
Addad B, Amari S, Lesage J-J (2012) Networked conflicting timed event graphs representation in (Max,+) algebra. Discrete Event Dyn Syst 22(4):429–449
Alsaba M, Lahaye S, Boimond J-L (2006) On just in time control of switching max-plus linear systems. In Proceedings of ICINCO’06, Setubal, Portugal, pp. 79–84
Amari S, Demongodin I, Loiseau J-J, Martinez C (2012) Max-plus control design for temporal constraints meeting in timed event graphs. IEEE Trans Autom Control 57(2):462–467
Baccelli F, Cohen G, Olsder G J, Quadrat J-P (1992) Synchronization and linearity: an algebra for discrete event systems. Wiley
Boutin O, Cottenceau B, L’Anton A, Loiseau J-J (2009) Modeling systems with periodic routing functions in dioid (Min,+), 13th IFAC Symposium on Information Control Problems in Manufacturing, Moscow, Russia, pp. 1377–1382
Corréïa A, Abbas TA, Bouyekhf R, El Moudni A (2009) A dioid model for invariant resource sharing problems. IEEE Trans Syst Man Cybern Syst Hum 39(4):770–781
Cottenceau B, Hardouin L, Boimond J-L, Ferrier J-L (1999) Synthesis of greatest linear feedback for timed event graph in dioid. IEEE Trans Autom Control 44(6):1258–1262
Gaubert S, Mairesse J (1999) Modeling and analysis of timed Petri nets using heaps of pieces. IEEE Trans Autom Control 44(4):683–697
Georges J-P (2006) A design process of switched Ethernet architectures according to real-time application constraints. Eng Appl Artif Intell 19(3):335–344
Hillion H, Proth J-M (1989) Performance evaluation of jobshop systems using timed event graphs. IEEE Trans Autom Control 34(1):3–9
Houssin L, Lahaye S, Boimond J-L (2007) Just in time control of constrained (Max,+)-linear systems. Discrete Event Dyn Syst 17(2):159–178
Lahaye S, Boimond J-L, Hardouin L (2004) Linear periodic systems over dioids. Discrete Event Dyn Syst 14(2):133–152
Murata T (1989) Petri nets: properties analysis and applications. Proc IEEE 77(4):541–580
Nait SM, Manier MA, El Moudni A, Wack M (2006) Petri net with conflicts and (Max,plus) algebra for transportation systems, 11th IFAC Symposium on Transportation Systems, The Netherlands, pp. 548–553
Trouillet B, Korbaa O, Gentina JC (2007) Formal approach for fms cyclic scheduling. IEEE Trans Syst Man Cybern Part C Appl Rev 37(1):126–137
Van Den Boom T-J-J, De Schutter B (2006) Modelling and control of discrete event systems using switching Max-Plus linear systems. Control Eng Pract 14(10):1199–1211