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

DOI10.1016/J.TCS.2008.08.014zbMATH Open1148.93023OpenAlexW2085922127MaRDI QIDQ955027FDOQ955027

Authors: Tao Ye, Qianchuan Zhao, Jianfeng 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

Recommendations

• Timed-event graphs with multipliers and homogeneous min-plus systems
• Cycle time assignment of min-max systems
• Finding minimum and maximum termination time of timed automata models with cyclic behaviour
• Cycle times assignment of nonlinear discrete event dynamic systems
• An algorithm for exact bounds on the time separation of events in concurrent systems
• An algorithm for timing verification of systems constrained by min-max inequalities
• Structure properties of min-max systems and existence of global cycle time
• Analytic evaluation of the cycle time on networked conflicting timed event graphs in the (Max,+) algebra
• Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra
• Timed transition systems with independence and timed event structures: an adjunction

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

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

Cited In (4)

• Title not available (Why is that?)
• Efficient algorithms for approximate time separation of events
• An algorithm for timing verification of systems constrained by min-max inequalities
• An algorithm for exact bounds on the time separation of events in concurrent systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q955027)