| date accessioned | 2020-03-12T20:21:14Z | |
| date available | 2020-03-12T20:21:14Z | |
| date issued | 2014 | |
| identifier other | 6865220.pdf | |
| identifier uri | http://libsearch.um.ac.ir:80/fum/handle/fum/1011406?show=full | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | A reliable brain computer interface implemented on an FPGA for a mobile dialing system | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8133942 | |
| subject keywords | control system synthesis | |
| subject keywords | optimal control | |
| subject keywords | reachability analysis | |
| subject keywords | stochastic systems | |
| subject keywords | temporal logic | |
| subject keywords | HJB partial differential equation | |
| subject keywords | Hamilton-Jacobi-Bellman | |
| subject keywords | complex temporal logic specification | |
| subject keywords | compositional approach | |
| subject keywords | controller synthesis | |
| subject keywords | cosafe temporal logic specifications | |
| subject keywords | discrete abstraction | |
| subject keywords | probability | |
| subject keywords | state space | |
| subject keywords | stochastic constrained reachability problems | |
| subject keywords | stochastic nonlinear systems | |
| subject keywords | stochastic optimal control theory | |
| subject keywords | structural assumptions | |
| subject keywords | temporal logic constraints | |
| subject keywords | Autom | |
| identifier doi | 10.1109/IROS.2014.6942750 | |
| journal title | ircuits and Systems (ISCAS), 2014 IEEE International Symposium on | |
| filesize | 977438 | |
| citations | 1 | |
| contributor rawauthor | Chih-Wei Feng , Ting-Kuei Hu , Jui-Chung Chang , Wai-Chi Fang | |
