Development of Quadruped Robot which has a high mobility performance provides a significant challenge to the robotics engineer. MEL HORSE II is aimed to be such an experimental ro...
A notion of diagnosability for hybrid systems is defined, which generalizes the notion of observability. We verify bility properties on a timed automaton abstraction of the origina...
Maria Domenica Di Benedetto, Stefano Di Gennaro, A...
We generalize several recent works on nonlinear observers for aided attitude heading reference systems: we propose a symmetry-preserving nonlinear observer which merges the most co...
Emerging Grid applications desire not only high bandwidth but also the ability to control the topology and traffic engineering of the underlying networks, through web service inte...
Hanxi Zhang, Michel Savoie, Scott Campbell, Sergi ...
Abstract: The present contribution deals with the experiences of introducing a modelbased software development method for device driver families used in electronic control units in...