Formal Design Models for Distributed Embedded Control Systems.
Christo AngelovKrzysztof SierszeckiYu GuoPublished in: ACES-MB@MoDELS (2009)
Keyphrases
- distributed environment
- cooperative
- real time embedded
- control system
- distributed architecture
- probabilistic model
- statistical models
- embedded systems
- metamodel
- computer networks
- case study
- decision trees
- parameter estimation
- data sets
- building blocks
- distributed systems
- formal model
- mathematical models
- design decisions
- formal methods
- information systems
- machine learning