Qualitative Theory of Hybrid Dynamical Systems

Automation and Robotics

Estimation and Control over Communication Networks

Make: Electronics: Learning Through Discovery

Robotics in life

Decentralized Coverage Control Problems For Mobile Robotic Sensor and Actuator Networks

Elements of Robotics

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Encyclopedia of Electronic Components Volume 1: Resistors, Capacitors, Inductors, Switches, Encoders, Relays, Transistors

Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Numerical Modelling in Robotics

Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales

DIY Drone and Quadcopter Projects: A Collection of Drone-Based Essays, Tutorials, and Projects

Hybrid Dynamical Systems: Controller and Sensor Switching Problems

The LEGO MINDSTORMS EV3 Idea Book: 181 Simple Machines and Clever Contraptions

Robust Kalman Filtering for Signals and Systems with Large Uncertainties

Getting Started with Drones: Build and Customize Your Own Quadcopter

Dynamic Mechanical Behaviors and Constitutive Model of Roller Compacted Concrete

Make Your First Robot: Robotics programming for beginners.

Abstraction Refinement for Large Scale Model Checking