ARTÍCULO
TITULO

Using Coordinated Atomic Actions to Design Safety-Critical Systems: A Production Cell Case Study

Zorzo    
A F    
Romanovsky    
A    
Xu    
J    
Randell    
B    
Stroud    
R J    
Welch    
I S    

Resumen

No disponible

 Artículos similares

       
 
Pengcheng Wu, Hongqiao Wang, Gaowei Liang and Peng Zhang    
Unmanned aerial vehicle (UAV) swarm coordinated confrontation is a hot topic in academic research at home and abroad, and dynamic maneuver decision-making is one of the most important research fields for UAV countermeasures. Aiming at the complexity, unc... ver más
Revista: Aerospace

 
Farhad Amiri, Mohsen Eskandari and Mohammad Hassan Moradi    
The penetration of intermittent wind turbines in power systems imposes challenges to frequency stability. In this light, a new control method is presented in this paper by proposing a modified fractional order proportional integral derivative (FOPID) con... ver más
Revista: Algorithms

 
Yihan Niu, Feixiang Zhu, Moxuan Wei, Yifan Du and Pengyu Zhai    
Maritime Autonomous Surface Ships (MASS) are becoming of interest to the maritime sector and are also on the agenda of the International Maritime Organization (IMO). With the boom in global maritime traffic, the number of ships is increasing rapidly. The... ver más

 
Xiaopeng Liu, Liangji Xu and Kun Zhang    
As a green, safe, and efficient method of coal development, underground coal gasification (UCG) technology has gradually moved from the experimental stage to the industrial production stage. This technology plays one of the key roles in the sustainable d... ver más
Revista: Applied Sciences

 
Fangrui Li, Jie Guo, Fengshan Ma, Guang Li and Yewei Song    
At present, when addressing the problem of fault stability in mines, most attention is paid to the study of the impact of a single mining method on faults. In order to study fault stability in mines more comprehensively, this paper researches the effect ... ver más
Revista: Applied Sciences