A formal method for event-triggered sequential systems

1996 ◽  
pp. 185-200
Author(s):  
C. Petersohn
Keyword(s):  
Formal Method ◽  
Sequential Systems ◽  
Event Triggered

Event-Triggered Fault Estimation for Networked Systems with Redundant Channels

2020 ◽  
Author(s):  
Zhongyi Zhao ◽  
Zidong Wang ◽  
Lei Zou ◽  
Yezheng Wang ◽  
Jiyue Guo
Keyword(s):  
Networked Systems ◽  
Fault Estimation ◽  
Event Triggered

EDUCATION – RETURN TO REALITY

2020 ◽  
Vol 11 (1) ◽  
pp. 127-130
Author(s):  
Alexander Lukankin ◽  
Keyword(s):  
High Schools ◽  
Basic Education ◽  
Formal Method ◽  
Human Mind ◽  
Production Sector ◽  
The World ◽  
Soviet Russia ◽  
Correct Understanding ◽  
Natural Science Education ◽  
Technical Professions

The post-socialist transformation of general and vocational education system has led to the loss of many positive gains that were already achieved earlier. The polytechnic character of our school and its practice-oriented foundations, based on a reasonable combination of basic education and professional and applied training, were seriously undermined. Modern Russian secondary schools have become something like pre-revolutionary classical high schools, without taking into account the significant fact that in pre-Soviet Russia, along with high schools, there was a wide network of real schools. They focused students on further mastering technical professions and active participation in the production sector of the country. Today we are witnessing a global revolution in the spiritual sphere, aimed at changing the very essence of a man. Note that natural science education is valuable not only for its formal method, but also for providing the basis for a correct understanding of the world. It fosters independence of thought and distrust of other people’s words and authorities. This is the best protection of the human mind from all sorts of superstitions delusions and mysticism.

Event Triggered-Based Flow Control Algorithm for Mixed Traffic in Wireless Sensor Networks

2014 ◽  
Vol 24 (8) ◽  
pp. 2151-2164 ◽  
Author(s):  
Shu-Sheng WEN ◽  
Jiong HUANG ◽  
Ting SHU ◽  
Wei-Qiang XU ◽  
Ya-Ming WANG
Keyword(s):  
Wireless Sensor Networks ◽  
Sensor Networks ◽  
Flow Control ◽  
Control Algorithm ◽  
Wireless Sensor ◽  
Mixed Traffic ◽  
Event Triggered
Sign in / Sign up

Export Citation Format

Share Document