An On-the-Fly Approach for the Verification of Opacity in Critical Systems
ناشر:
سال
: 2014شناسه الکترونیک: 10.1109/CIES.2014.7011834
کلیدواژه(گان): chaos,delays,feedback,genetic algorithms,memristor circuits,memristors,nonlinear control systems,GA optimized time delayed feedback control,chaos control,chaotic state,computer simulations,feedback path gain optimization,fixed point oscillations,genetic algorithm,memristor based chaotic circuit,nonlinear system,search tool,sustained oscillations,Chaos,Feedback control,Genetic algorithms,Memristors,Orbits,Sociology,Statistics,MCC (Memristor based chaotic circuit),Time de
کالکشن
:
-
آمار بازدید
An On-the-Fly Approach for the Verification of Opacity in Critical Systems
Show full item record
| contributor author | Klai, K. | |
| contributor author | Hamdi, N. | |
| contributor author | Ben Hadj-Alouane, N. | |
| date accessioned | 2020-03-12T21:09:04Z | |
| date available | 2020-03-12T21:09:04Z | |
| date issued | 2014 | |
| identifier other | 6927080.pdf | |
| identifier uri | http://libsearch.um.ac.ir:80/fum/handle/fum/1038767 | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | An On-the-Fly Approach for the Verification of Opacity in Critical Systems | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8165416 | |
| subject keywords | chaos | |
| subject keywords | delays | |
| subject keywords | feedback | |
| subject keywords | genetic algorithms | |
| subject keywords | memristor circuits | |
| subject keywords | memristors | |
| subject keywords | nonlinear control systems | |
| subject keywords | GA optimized time delayed feedback control | |
| subject keywords | chaos control | |
| subject keywords | chaotic state | |
| subject keywords | computer simulations | |
| subject keywords | feedback path gain optimization | |
| subject keywords | fixed point oscillations | |
| subject keywords | genetic algorithm | |
| subject keywords | memristor based chaotic circuit | |
| subject keywords | nonlinear system | |
| subject keywords | search tool | |
| subject keywords | sustained oscillations | |
| subject keywords | Chaos | |
| subject keywords | Feedback control | |
| subject keywords | Genetic algorithms | |
| subject keywords | Memristors | |
| subject keywords | Orbits | |
| subject keywords | Sociology | |
| subject keywords | Statistics | |
| subject keywords | MCC (Memristor based chaotic circuit) | |
| subject keywords | Time de | |
| identifier doi | 10.1109/CIES.2014.7011834 | |
| journal title | ETICE Conference (WETICE), 2014 IEEE 23rd International | |
| filesize | 186246 | |
| citations | 0 |