Pages that link to "Item:Q5027756"

The following pages link to Modelling and temporal evaluation of networked control systems using timed automata with guards and (max,+) algebra (Q5027756):

Displaying 4 items.

• Graphical Modeling of Networked Architectures and Real-Time-Requirements for the Analysis of Networked Automation Systems (Q4602215) (← links)
• Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras (Q5026795) (← links)
• Response time evaluation of industrial-scale distributed control systems by discrete event systems formalisms (Q5027370) (← links)
• Modelling and temporal performances evaluation of networked control systems using (max, +) algebra (Q5265576) (← links)