๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A model checking-based approach for security policy verification of mobile systems

โœ Scribed by Chiara Braghin; Natasha Sharygina; Katerina Barone-Adesi

Publisher
Springer
Year
2010
Tongue
English
Weight
532 KB
Volume
23
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A knowledge-based system approach for co
A knowledge-based system approach for code-checking of steel structures according to Eurocode 3
โœ Johan de Gelder; Martin Steenhuis ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 544 KB

In steel structure design code-checking according to Eurocode 3 is a comprehensive task. Checking of resistance and classiยฎcation of cross-sections needed for the determination of the type of frame analysis (elastic, plastic) and the cross-sectional strength is especially complex. However, eective a

A Liouvillian systems approach for the t
A Liouvillian systems approach for the trajectory planning-based control of helicopter models
โœ Hebertt Sira-Ramรญrez; Rafael Castro-Linares; Eduardo Licรฉaga-Castro ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 169 KB ๐Ÿ‘ 2 views

A feedback regulation scheme, based on o!-line trajectory planning and an approximate state linearization, is proposed for the hover-to-hover stabilization of simpli"ed, underactuated, models of a helicopter system. The approach, based on the &Liouvillian' character of the helicopter kinematic equat