Verifizierung und Kontrolle hybrider Systeme: Ein symbolischer Ansatz [Taschenbuch]
123,46 €
Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations. Although these problems are very difficult to solve for general hybrid systems, several authors have identified classes of hybrid systems that admit symbolic or finite models.
Jetzt bei Ebay:
![Produktbild - Control Systems: A State Variable Approach (Conventional and MATLAB) [Hardback]](https://i.ebayimg.com/thumbs/images/g/uhsAAeSwHNhoSUTM/s-l140.jpg)
![Produktbild - Modern Control of DC-Based Power Systems: A Problem-Based Approach [Paperback]](https://i.ebayimg.com/thumbs/images/g/AQwAAOSwZ~Nnl8Sp/s-l140.jpg)
![Produktbild - Computer-Controlled Systems with Delay: A Transfer Function Approach [Paperback]](https://i.ebayimg.com/thumbs/images/g/CAsAAeSw3DhoN5ru/s-l140.jpg)
