Time separations of cyclic event rule systems with min-max timing constraints

DOI10.1016/j.tcs.2008.08.014zbMath1148.93023OpenAlexW2085922127MaRDI QIDQ955027

Tao Ye, Qian-Chuan Zhao, Jian-feng Mao

Publication date: 18 November 2008

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.08.014

zbMATH Keywords

discrete event systemsmin-max systemscyclic timing constraint graphevent rule systemstime separations

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Discrete event control/observation systems (93C65)

Cites Work

• Eigenvalues of dynamic max-min systems
• Min-max functions
• Efficient algorithms for approximate time separation of events
• Conditions for the structural existence of an eigenvalue of a bipartite \((\min,\max,+)\)-system.
• The duality theorem for min-max functions
• A time redundancy approach to TMR failures using fault-state likelihoods
• An algorithm for exact bounds on the time separation of events in concurrent systems
• Structure properties of min-max systems and existence of global cycle time
• Cycle time assignment of min-max systems
• The Perron-Frobenius theorem for homogeneous, monotone functions
• A constructive fixed point theorem for min-max functions
• Ultimate periodicity of orbits for min-max systems
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Time separations of cyclic event rule systems with min-max timing constraints