Qualitative Theory of Hybrid Dynamical Systems

Make: Electronics: Learning Through Discovery

Estimation and Control over Communication Networks

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

Encyclopedia of Electronic Components Volume 2: LEDs, LCDs, Audio, Thyristors, Digital Logic, and Amplification

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

Robotics in life

Hybrid Dynamical Systems: Controller and Sensor Switching Problems

Numerical Modelling in Robotics

Robust Kalman Filtering for Signals and Systems with Large Uncertainties

The Slot Car Handbook: The definitive guide to setting-up and running Scalextric sytle 1/32 scale ready-to-race slot cars

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

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

Abstraction Refinement for Large Scale Model Checking

Getting Started with Drones: Build and Customize Your Own Quadcopter

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

Make Your First Robot: Robotics programming for beginners.

Robust Control Design Using H-∞ Methods