An achievability condition for n-dimensional behaviors with a finite frequency specification: Dissipation inequalities approach.
Chiaki KojimaShinji HaraPublished in: CDC (2010)
Keyphrases
- sufficient conditions
- numerical solution
- linear temporal logic
- multi dimensional
- high level
- linear inequalities
- low frequency
- human behavior
- formal specification
- real numbers
- specification language
- neural network
- user defined
- formal methods
- finite number
- behavior analysis
- finite element
- behavior patterns
- linear program
- elementary functions