A hybrid approach to system verification in early design for complex mechatronic systems based on formal functional semantics.
Yue CaoYusheng LiuXujia QinPublished in: Adv. Eng. Informatics (2023)
Keyphrases
- formal methods
- functional verification
- complex systems
- knowledge based systems
- design issues
- building blocks
- high level
- real world
- conceptual model
- engineering design
- distributed systems
- computer systems
- management system
- logic programming
- design process
- case study
- human computer interface
- operational semantics
- intelligent systems
- data model
- manufacturing systems
- artificial intelligence