Formal Methods For Multi Agent Feedback Control Systems(1st Edition)
Authors:
Lars Lindemann ,Dimos V Dimarogonas
In Stock: 2 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: B0F3FK8Z9M, 978-0262382809
Book publisher: The MIT Press
Book Price $0 : An Introduction To Formal Methods For Feedback Control Of Multi-agent Systems With Safety And Performance Guarantees.Multi-agent Control Systems Can Accomplish Tasks That Single-agent Systems Cannot Address, Such As Aerial Surveillance Of Large Areas By A Group Of Drones. In Formal Methods For Multi-Agent Feedback Control Systems, Lars Lindemann And Dimos Dimarogonas Provide An Accessible Introduction To Formal Methods For Feedback Control Of Multi-agent Systems. Their Book Is The First To Bridge The Gap Between Formal Methods And Feedback Control For The Scalable Design Of Cyber-physical Systems. The Material Covered Is Intended For Scientists, Engineers, And Students, And No Background In Formal Methods Or Control Theory Is Required. The Authors Also Highlight Future Research Directions For Those Working At The Intersection Of Formal Methods And Control.In Control Theory, The Goal Is To Design Feedback Control Laws For Dynamical Systems That Achieve Control Objectives Such As Stability Or Forward Invariance Of Sets. Formal Methods, On The Other Hand, Provide Verification And Design Techniques For More Complex System Specifications Using Temporal Logics. However, Their High Computational Cost Limits Scaling Beyond A Small Number Of Agents. Besides Scalability, Another Central Challenge Is To Achieve Robustness In The System Design. Thus, The Authors Focus On The Design Of Scalable And Robust Feedback Control Algorithms For Multi-agent Control Systems Under Temporal Logic Specifications.
Customers also bought these books (16)
Digital Forensics Trial Graphics Teaching The Jury Through Effective Use Of Visuals - 1st Edition
John Sammons
ISBN: 0128034939, 9780128034934
$0 $48.00
Essential Mathematics For Games And Interactive Applications - 3rd Edition
James M Van Verth
ISBN: 1482250926, 978-1482250923
$79.08 $112.97
Communication Systems - 4th Edition
Simon Haykin
ISBN: 978-0471697909, 471178691, 978-0471178699
$55.99 $79.99
Street Design The Secret To Great Cities And Towns - 1st Edition
John Massengale
ISBN: 1118066707, 978-1118066706
$0 $70.11
Machine Learning For Cyber Physical Systems Selected Papers From The International Conference Ml4cps 2018 - 1st Edition
Jurgen Beyerer
ISBN: B07LGRSJ89, 978-3662584859
$104.3 $149.00
Multibody Mechatronic Systems Papers From The Musme Conference In 2020 - 1st Edition
Martin Pucheta
ISBN: 3030603717, 978-3030603717
$151.25 $216.07
New Technologies Applied In Gobi Desert Facility Agriculture Sensing And Autonomous Techniques - 1st Edition
Can Hu
ISBN: B0F1CJCVGL, 978-9819610310
$114.56 $163.65
Fieldbus Technology Systems Integration Networking And Engineering Proceedings Of The Fieldbus Conference Fet99 In Magdeburg Federal Republic Of Germany September 23 24 1999 - 1st Edition
D Dietrich
ISBN: B000VI5830, 978-3709164211
$0 $38.59
Handbook Of Personality Psychology - 1st Edition
Robert Hogan
ISBN: 0121346455, 978-0121346454
$0 $74.98
An Introduction To Management Science Quantitative Approaches To Decision Making - 13th Edition
David Anderson
ISBN: 9781111532246, 1111532222, 1111532249, 978-1111532222
$0 $9.98
Strategic Management And Business Policy Globalization Innovation And Sustainability - 15th Edition
Thomas L. Wheelen
ISBN: 0134522052, 978-0134522050
$112 $160.00
The Devil Never Sleeps Learning To Live In An Age Of Disasters - 1st Edition
Juliette Kayyem
ISBN: 1541700090, 978-1541700093
$0 $9.98
Math Toolkit For Real Time Programming - 1st Edition
Jack Crenshaw
ISBN: 1929629095, 978-1929629091
$165.2 $236.00
Global Governance Of Genetic Resources Access And Benefit Sharing After The Nagoya Protocol - 1st Edition
Sebastian Oberthur
ISBN: B0BKWZ7QKZ, 978-1135135478
$95.2 $136.00Popular Among Students (13)
Precalculus And Discrete Mathematics University Of Chicago School Mathematics Project - 2nd Edition
University Of Chicago School Mathematics Project
ISBN: 0673459144, 9780673459145
$0 $56.69
Discrete Mathematics With Combinatorics - 2nd Edition
James A. Anderson
ISBN: 0130457914, 9780130457912
$0 $8.90
Creating An Ecological Society Toward A Revolutionary Transformation - 1st Edition
Fred Magdoff
ISBN: 1583676295, 978-1583676295
$0 $55.25
Unmanned Aerial Vehicle Cellular Communications - 1st Edition
Agbotiname Lucky Imoize
ISBN: 3031083946, 978-3031083945
$118.99 $169.99
A Roadmap For Cognitive Development In Humanoid Robots - 2011th Edition
David Vernon
ISBN: 3642169031, 978-3642169038
$0 $73.76
Vibration Analysis Certification Exam Preparation Package Certified Vibration Analyst Category I Acceptance Testing Iso 18436 2 Cva Level 1 Part 7 I Certification Practice Tests Prep Series - 1st Edition
Ali M Al Shurafa
ISBN: 1644150042, 978-1644150047
$0 $19.99
