Items where Division is "Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Cyber Physical Systems
School of Electronics and Computer Science > Cyber Physical Systems" and Year is 2014
 | Up a level |
Number of items: 11.
Type: Article
| 2014
| Item not available on this server.
Bounded model checking of multi-threaded c programs via lazy sequentialization - Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Conference or Workshop Item
| 2014
| Springer
Coalgebraic logic programming: from semantics to implementation - Ekaterina Komendantskaya, John Power and Martin Schmidt
Type: Article
| 2014
| Item not available on this server.
Actuator constraints handling in higher harmonic control algorithms for vibration reduction - R. M. Morales, M. C. Turner, P. Court and C. Hutchint
Type: Conference or Workshop Item
| 2014
| The Royal Aeronautical Society
| Item not available on this server.
Robust anti-windup design for active trailing edge flaps in active rotor applications - Rafael M. Morales and Matthew C. Turner
Type: Conference or Workshop Item
| 2014
| American Helicopter Society
| Item not available on this server.
Force control of semi-active valve lag dampers for vibration reduction in helicopters - Rafael Mauricio Morales, Matthew C. Turner, Peter Court, Ross Hilditch and Ian Postlethwaite
Type: Article
| 2014
| Item not available on this server.
Type: Conference or Workshop Item
| 2014
| IEEE
| Item not available on this server.
A non-square sector condition and its application in deferred-action anti-windup compensator design - Matthew C. Turner and Guido Herrmann
Type: Article
| 2014
| Item not available on this server.
Lyapunov functions and L2 gain bounds for systems with slope restricted nonlinearities - Matthew C. Turner and Murray Kerr
Type: Article
| 2014
| Item not available on this server.
Anticipatory anti-windup: An alternative construction - Matthew C. Turner, Jorge Sofrony and Guido Herrmann
Type: Conference or Workshop Item
| 2014
| IEEE
| Item not available on this server.
A hidden Markov model-based acoustic cicada detector for crowdsourced smartphone biodiversity monitoring - Davide Zilli, Oliver Parson, Geoff V. Merrett and Alex Rogers
Type: Article
| 2014
| Item availability restricted.