Correct-by-design output feedback of LTI systems.
Sofie HaesaertAlessandro AbatePaul M. J. Van den HofPublished in: CDC (2015)
Keyphrases
- knowledge based systems
- design issues
- expert systems
- design criteria
- distributed systems
- interactive systems
- building blocks
- embedded systems
- computer aided
- artificial neural networks
- design tools
- software architecture
- complex systems
- design process
- management system
- retrieval systems
- engineering design
- design decisions
- design methodology
- formal methods
- computer systems
- feedback mechanisms