Studies in Systems, Decision and Control 89 - Formal Methods for Discrete-Time Dynamical SystemsEbookTooltip
Ebooks kunnen worden gelezen op uw computer en op daarvoor geschikte e-readers.
Je leest ebooks gemakkelijk op je Kobo e-reader, of op je smartphone of tablet met de bol.com Kobo app. Let op! Ebooks kunnen niet geannuleerd of geretourneerd worden.
Samenvatting
This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models.
The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book.
Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.
Houd er rekening mee dat je downloadartikelen niet kunt annuleren of retourneren. Bij nog niet verschenen producten kun je tot de verschijningsdatum annuleren.
{"pdpAnalyticsObj":{"pageInfo":{"pageType":"PDP","country":"NL","shoppingChannelContextTypeAndDeviceType":"www.bol.com,SEO_AGENT","canonicalUrl":"https://www.bol.com/nl/nl/p/studies-in-systems-decision-and-control-89-formal-methods-for-discrete-time-dynamical-systems/9200000075757940/","shortURL":"/p/studies-in-systems-decision-and-control-89-formal-methods-for-discrete-time-dynamical-systems/9200000075757940/","countryLanguage":"nl-nl","external":true,"subscriptionInfo":{"selectMembership":false},"shouldSendUserProps":false,"renderedInApp":false},"product":{"productId":"9200000075757940","title":"Studies in Systems, Decision and Control 89 - Formal Methods for Discrete-Time Dynamical Systems","category":"Boeken/Wetenschap \u0026 Natuur","brand":"","brick":"10000926","seller":"0_","price":155.0,"discount":0.0,"categoryNumbersFlattened":["8299","23952"],"categories":["Boeken","Technologie \u0026 Bouwkunde","Communicatietechnologie","Electrotechniek","Robotica"],"orderable":"available","quantity":1}}}