Qualitative Theory of Hybrid Dynamical Systems

Make: Electronics: Learning Through Discovery

Estimation and Control over Communication Networks

Robotics in life

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

Decentralized Coverage Control Problems For Mobile Robotic Sensor and Actuator Networks

Agentic Artificial Intelligence: Harnessing AI Agents to Reinvent Business, Work and Life

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

Numerical Modelling in Robotics

Hybrid Dynamical Systems: Controller and Sensor Switching Problems

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

Robust Kalman Filtering for Signals and Systems with Large Uncertainties

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

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

Getting Started with Drones: Build and Customize Your Own Quadcopter

Abstraction Refinement for Large Scale Model Checking

Make Your First Robot: Robotics programming for beginners.

Autonomous Navigation and Deployment of UAVs for Communication, Surveillance and Delivery

Learning OpenCV: Computer Vision with the OpenCV Library

Robust Control Design Using H-∞ Methods