fodlder
发表于 2025-3-27 00:12:19
Abstractions of Hybrid Systems for Verificationm global considerations to local ones. The aim of this paper is to present an overview of techniques of abstraction of hybrid systems that are commonly used for safety analysis. Reachability approaches related to abstraction for verification are briefly presented.
技术
发表于 2025-3-27 01:35:10
https://doi.org/10.1007/978-3-642-19730-7Control Automation; ICINCO; Informatics; Robotics
使闭塞
发表于 2025-3-27 07:25:19
ICT Application on the Management of Intelligent Transportation Systemse fields of ITS operational control and management by using effectively and efficiently the latest key ICT solutions. In particular, the paper focuses on the ICT applications on the urban traffic control and the intermodal transportation network planning and management.
micturition
发表于 2025-3-27 10:38:07
Modelling and Performance Enhancement of a Linear Actuation Mechanism Using Conducting Polymersonding rectilinear force from this mechanism. This mechanism can be employed as a motion and force transmission mechanism, which not only has a light weight, but also consumes a small electrical power.
老巫婆
发表于 2025-3-27 15:43:51
http://reply.papertrans.cn/47/4649/464863/464863_35.png
fertilizer
发表于 2025-3-27 19:03:41
http://reply.papertrans.cn/47/4649/464863/464863_36.png
Accomplish
发表于 2025-3-27 22:37:38
http://reply.papertrans.cn/47/4649/464863/464863_37.png
极大痛苦
发表于 2025-3-28 04:49:41
http://reply.papertrans.cn/47/4649/464863/464863_38.png
易受刺激
发表于 2025-3-28 08:37:05
Multimodel Gain Scheduled Quadratic Controller for Variable-Speed Wind Turbines Performances Improveind speeds operating range. A state observer is used to estimate the immeasurable state variables. Thereafter, a global asymptotic stability analysis is developed by solving a bilinear matrix inequality (BMI) feasibility problem based on the local stability of the sub-models.
步履蹒跚
发表于 2025-3-28 11:42:15
Evolutionnary Autonomous VGSTV Staircase Climbing are presented and geometrical and dynamical models are computed in order to compare static and dynamic balance. Then, thanks to the results of the balance study, an autonomous staircase clearing controller based on artificial neural network is computed and tested. A general conclusion about possible improvements and future work ends the paper.