Synchronous Composition of Discretized Control Actions: Design, Verification and Implementation with ORCCAD .
Daniel SimonRoger Pissard-GibolletKonstantinos KapellosBernard EspiauPublished in: RTCSA (1999)
Keyphrases
- implementation issues
- parallel distributed
- high level synthesis
- design procedure
- control structure
- functional verification
- architectural design
- current status
- formal methods
- efficient implementation
- control system
- formal specification
- information systems
- design decisions
- control method
- control unit
- control program
- asynchronous communication
- mechanical systems
- multi agent