scholarly journals A Formal Proof in Coq of LaSalle’s Invariance Principle

2017 ◽  
pp. 148-163 ◽  
Author(s):  
Cyril Cohen ◽  
Damien Rouhling
Keyword(s):  
Invariance Principle ◽  
Formal Proof ◽  
Lasalle’S Invariance Principle ◽  
Lasalle's Invariance Principle

SYNCHRONOUS AND ASYNCHRONOUS BRAIN-STATE-IN-A-BOX INFORMATION SYSTEM NEURAL MODELS

1999 ◽  
Vol 09 (01) ◽  
pp. 61-74 ◽  
Author(s):  
HUBERT Y. CHAN ◽  
STEFEN HUI ◽  
STANISLAW H. ŻAK
Keyword(s):  
Information System ◽  
United Nations ◽  
Invariance Principle ◽  
Brain State ◽  
Neural Models ◽  
Lasalle’S Invariance Principle ◽  
The United Nations ◽  
The Stability ◽  
Lasalle's Invariance Principle

Synchronous and asynchronous information system neural models are proposed that are hybrids of Pawlak's information system and Brain-State-in-a-Box (BSB) neural models. The stability of the proposed models is studied using LaSalle's Invariance Principle. Applications to an analysis of the United Nations activities are presented as examples.

Sign in / Sign up

Export Citation Format

Share Document