A discrete event systems approach for protocol conversion

DOI10.1023/A:1008258331497zbMath0960.93034OpenAlexW1583418408MaRDI QIDQ1361804

Ratnesh Kumar, Steven I. Marcus, Sudhir Nelvalgal

Publication date: 18 September 1997

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008258331497

zbMATH Keywords

supervisory controldiscrete event systemsconverter languagesprotocol converter

Mathematics Subject Classification ID

Communication networks in operations research (90B18) Discrete event control/observation systems (93C65) Network protocols (68M12)

Related Items (13)

Using logic to solve the submodule construction problem ⋮ Adaptive control of asynchronous sequential machines with state feedback ⋮ Automated synthesis of application-layer connectors from automata-based specifications ⋮ Static state feedback control of asynchronous sequential machines ⋮ Unnamed Item ⋮ Input/output control of asynchronous sequential machines with races ⋮ Progressive Solutions to a Parallel Automata Equation ⋮ Interface synthesis and protocol conversion ⋮ Automatic defensive control of asynchronous sequential machines ⋮ Progressive solutions to a parallel automata equation ⋮ Compositionally progressive solutions of synchronous FSM equations ⋮ Maximally permissive mutually and globally nonblocking supervision with application to switching control ⋮ Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies

This page was built for publication: A discrete event systems approach for protocol conversion