Verification of the Mode Decomposition Technique for Closely Distributed Modal Systems in the State Space Domain.
Jungtae NohJae-Seung HwangPublished in: Sensors (2023)
Keyphrases
- state space
- distributed systems
- specific domains
- data intensive
- computer systems
- heuristic search
- cooperative
- multiscale
- distributed environment
- domain independent
- lightweight
- knowledge based systems
- management system
- distributed computation
- mission critical
- open systems
- uniform access
- automated verification
- communication cost
- computing environments
- dynamical systems
- model checking
- complex systems
- mobile agents
- intelligent systems
- multi agent
- reinforcement learning