Modular Redesign of Mechatronic Systems: Formulation of Module Specifications Guaranteeing System Dynamics Specifications.
Lars A. L. JanssenRob H. B. FeyBart BesselinkNathan van de WouwPublished in: CoRR (2024)
Keyphrases
- formal specification
- automated verification
- finite state machines
- reactive systems
- asynchronous circuits
- high level
- design requirements
- computer systems
- complex systems
- distributed systems
- formal verification
- management system
- building blocks
- learning systems
- model checking
- intelligent systems
- expert systems
- objective function
- delay insensitive
- real time