Conflict Analysis and Detection Based on Model Checking for Spatial Access Control Policy Interaction and coordinated development between desertification control and social economy in Xizang, China Thailand‘s economic growTh and sTrucTural developmenT projecTions in The conTexT of environmenTal conTrol Adaptive Prescribed Performance Control for Flexible Spacecraft with Input Saturation and Actuator Misalignment Multi-Clock Snapshot Isolation Concurrency Control for NVM Database Dynamic control anD optimization of capital-constraineD stochastic inventory systems Attitude Control of Rigid Body with Inertia Uncertainty and Saturation Input Picture Quality Assessment-Based on Rate Control for Variable Bandwidth Networks Asynchronous Brain-Computer Interface Shared Control of Robotic Grasping Anomaly Detection of Industrial Control Systems Based on Transfer Learning