"39" Result
Sort By:
This book presents the basic tools required to obtain the dynamical models for aerial vehicles (in the Newtonian or Lagrangian approach). Several control laws are presented for mini-helicopters, quadrotors, mini-blimps, flapping-wing aerial vehicles, planes, etc. Finally, this b…
The development of unmanned aerial vehicles has been a critical field of interest for many scientists, engineers and researchers in recent years. Their main objective in this context is to design aerial devices that are able to complete surveillance missions in the most autonomo…
This book presents the basic tools required to obtain the dynamical models for aerial vehicles (in the Newtonian or Lagrangian approach). Several control laws are presented for mini-helicopters, quadrotors, mini-blimps, flapping-wing aerial vehicles, planes, etc. Finally, this b…
This book introduces state-of-the-art verification techniques for real time embedded systems, based on the inverse method for parametric timed automata. First, the inverse method is introduced, and its interest for guaranteeing robustness in real time systems is shown. Then, dif…
This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular, timed aut…
"Embedded systems are everywhere in contemporary life and are supposed to make our lives more comfortable. In industry, embedded systems are used to manage and control complex systems (e.g. nuclear power plants, telecommunications and flight control) and they are also taking an …
"Embedded systems are everywhere in contemporary life and are supposed to make our lives more comfortable. In industry, embedded systems are used to manage and control complex systems (e.g. nuclear power plants, telecommunications and flight control) and they are also taking an …
"A number of different system concepts have become important in the broader context of embedded systems over the past few years. - Whilst there are some differences between them, this book argues that in fact there is much they share in common, particularly the important notions…
"A number of different system concepts have become important in the broader context of embedded systems over the past few years. Whilst there are some differences between them, this book argues that in fact there is much they share in common, particularly the important notions o…