Pages that link to "Item:Q1361804"
From MaRDI portal
The following pages link to A discrete event systems approach for protocol conversion (Q1361804):
Displaying 15 items.
- Adaptive control of asynchronous sequential machines with state feedback (Q389824) (← links)
- Network event recognition (Q812048) (← links)
- Compositionally progressive solutions of synchronous FSM equations (Q1020554) (← links)
- Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies (Q2106413) (← links)
- Using logic to solve the submodule construction problem (Q2377376) (← links)
- Automated synthesis of application-layer connectors from automata-based specifications (Q2424673) (← links)
- Interface synthesis and protocol conversion (Q2481210) (← links)
- Progressive solutions to a parallel automata equation (Q2508960) (← links)
- Maximally permissive mutually and globally nonblocking supervision with application to switching control (Q2576128) (← links)
- Automatic defensive control of asynchronous sequential machines (Q2792709) (← links)
- Static state feedback control of asynchronous sequential machines (Q2964404) (← links)
- Input/output control of asynchronous sequential machines with races (Q3550781) (← links)
- Progressive Solutions to a Parallel Automata Equation (Q3564943) (← links)
- A protocol converter for nonblocking protocols (Q4788458) (← links)
- (Q5021015) (← links)