Picture 1 of 1

Have one to sell?

Sell it yourself

Formal Methods for Discrete-Time Dynamical Systems by Calin Belta (English) Pape

Condition:

Brand New

Quantity:

7 available

Price:

US $228.13

ApproximatelyS$ 307.87

Postage:

Free Economy Shipping. See detailsfor shipping

Located in: Fairfield, Ohio, United States

Delivery:

Estimated between Sat, 18 May and Thu, 30 May to 43230

Returns:

30 days return. Buyer pays for return shipping. See details- for more information about returns

Coverage:

Read item description or contact seller for details. See all detailsSee all details on coverage

(Not eligible for eBay purchase protection programmes)

Shop with confidence

eBay Premium Service

Trusted seller, fast shipping, and easy returns.

Learn more- Top Rated Plus - opens in a new window or tab

Seller information

grandeagleretail (918550)
98.2% positive feedback

Registered as a Business Seller

Report this item - opens in new window or tab

Seller assumes all responsibility for this listing.

eBay item number:364704289834

Last updated on Apr 03, 2024 14:57:51 SGTView all revisionsView all revisions

Item specifics

Condition: Brand New: A new, unread, unused book in perfect condition with no missing or damaged pages. See all condition definitionsopens in a new window or tab

ISBN-13: 9783319844855

Type: NA

Publication Name: NA

ISBN: 9783319844855

Publication Year: 2018

Format: Trade Paperback

Language: English

Book Title: Formal Methods for Discrete-Time Dynamical Systems

Author: Ebru Aydin Gol, Calin Belta, Boyan Yordanov

Item Length: 9.3in

Publisher: Springer International Publishing A&G

Genre: Technology & Engineering, Science

Topic: Engineering (General), Signals & Signal Processing, System Theory, Electrical

Item Width: 6.1in

Item Weight: 163.2 Oz

Number of Pages: Xviii, 284 Pages

About this product

Product Information

Transition Systems.- Temporal Logics and Automata.- Model Checking.- Largest Finite Satisfying Region.- Finite Temporal Logic Control.- Discrete-Time Dynamical Systems.- Largest Satisfying Region.- Parameter Synthesis.- Temporal Logic Control.- Finite Bisimulations.- Language Guided Controller Synthesis.- Optimal Temporal Logic Control.- Background.

Product Identifiers

Publisher

Springer International Publishing A&G

ISBN-10

3319844857

ISBN-13

9783319844855

eBay Product ID (ePID)

4038819188

Product Key Features

Book Title

Formal Methods for Discrete-Time Dynamical Systems

Author

Ebru Aydin Gol, Calin Belta, Boyan Yordanov

Format

Trade Paperback

Language

English

Topic

Engineering (General), Signals & Signal Processing, System Theory, Electrical

Publication Year

2018

Genre

Technology & Engineering, Science

Number of Pages

Xviii, 284 Pages

Dimensions

Item Length

9.3in

Item Width

6.1in

Item Weight

163.2 Oz

Additional Product Features

Series Volume Number

Number of Volumes

1 Vol.

Lc Classification Number

Tj212-225

Reviews

"This work is suitable both for researchers from these fields, and also young graduates, provided they are familiar with fundamental concepts of systems theory and theoretical computer science. A strong feature of this work is its plethora of examples, which greatly help in understanding the presented theory, and also help the reader get an idea for the applications that can be considered." (Lazaros Moysis, zbMATH 1409.93003, 2019) "The book under review gives an introduction to and overview of particular verification methods for models of systems that evolve in discrete time and usually have unbounded state spaces. ... The book can serve as a textbook for an advanced and specialised graduate course in formal methods or control theory." (Martin Lange, Mathematical Reviews, February, 2018), "The book under review gives an introduction to and overview of particular verification methods for models of systems that evolve in discrete time and usually have unbounded state spaces. ... The book can serve as a textbook for an advanced and specialised graduate course in formal methods or control theory." (Martin Lange, Mathematical Reviews, February, 2018)

Table of Content

2017

Dewey Decimal

003.83

Series

Studies in Systems, Decision and Control Ser.

Dewey Edition

Illustrated

Yes

Item description from the seller

Seller assumes all responsibility for this listing.

eBay item number:364704289834

Last updated on Apr 03, 2024 14:57:51 SGTView all revisionsView all revisions

Postage and handling

Item location:

Fairfield, Ohio, United States

Post to:

Afghanistan, Albania, Algeria, Andorra, Angola, Anguilla, Antigua and Barbuda, Argentina, Armenia, Aruba, Australia, Austria, Azerbaijan Republic, Bahamas, Bahrain, Bangladesh, Belgium, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnia and Herzegovina, Botswana, Brazil, British Virgin Islands, Brunei Darussalam, Bulgaria, Burkina Faso, Burundi, Cambodia, Cameroon, Canada, Cape Verde Islands, Cayman Islands, Central African Republic, Chad, Chile, China, Colombia, Comoros, Cook Islands, Costa Rica, Cyprus, Czech Republic, Côte d'Ivoire (Ivory Coast), Democratic Republic of the Congo, Denmark, Djibouti, Dominica, Dominican Republic, Ecuador, Egypt, El Salvador, Equatorial Guinea, Eritrea, Estonia, Ethiopia, Falkland Islands (Islas Malvinas), Fiji, Finland, France, Gabon Republic, Gambia, Georgia, Germany, Ghana, Gibraltar, Greece, Greenland, Grenada, Guatemala, Guernsey, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hong Kong, Hungary, Iceland, India, Indonesia, Iraq, Ireland, Israel, Italy, Jamaica, Japan, Jersey, Jordan, Kazakhstan, Kenya, Kiribati, Kuwait, Kyrgyzstan, Laos, Latvia, Lebanon, Lesotho, Liberia, Liechtenstein, Lithuania, Luxembourg, Macau, Macedonia, Madagascar, Malawi, Malaysia, Maldives, Mali, Malta, Mauritania, Mauritius, Mayotte, Mexico, Moldova, Monaco, Mongolia, Montenegro, Montserrat, Morocco, Mozambique, Namibia, Nauru, Nepal, Netherlands, Netherlands Antilles, New Zealand, Nicaragua, Niger, Nigeria, Niue, Norway, Oman, Pakistan, Paraguay, Peru, Philippines, Poland, Portugal, Qatar, Republic of Croatia, Republic of the Congo, Romania, Rwanda, Saint Helena, Saint Kitts-Nevis, Saint Lucia, Saint Pierre and Miquelon, Saint Vincent and the Grenadines, San Marino, Saudi Arabia, Senegal, Serbia, Seychelles, Sierra Leone, Singapore, Slovakia, Slovenia, Solomon Islands, Somalia, South Africa, South Korea, Spain, Sri Lanka, Suriname, Svalbard and Jan Mayen, Swaziland, Sweden, Switzerland, Taiwan, Tajikistan, Tanzania, Thailand, Togo, Tonga, Trinidad and Tobago, Tunisia, Turkey, Turkmenistan, Turks and Caicos Islands, Tuvalu, Uganda, United Arab Emirates, United Kingdom, Uruguay, Uzbekistan, Vanuatu, Vatican City State, Vietnam, Wallis and Futuna, Western Sahara, Worldwide, Yemen, Zambia, Zimbabwe

Excludes:

APO/FPO, Alaska/Hawaii, Barbados, Belarus, French Guiana, French Polynesia, Guadeloupe, Libya, Martinique, New Caledonia, Panama, Papua New Guinea, Reunion, Russian Federation, US Protectorates, Ukraine, Venezuela, Western Samoa

Quantity:

Change country:

Postal Code:

Postage and handling	Each additional item	To	Service	Delivery*See Delivery notes
Free postage	Free	United States	Economy Shipping	Estimated between Sat, 18 May and Thu, 30 May to 43230

Notes - Delivery *Estimated delivery dates include seller's handling time, origin ZIP Code, destination ZIP Code and time of acceptance and will depend on shipping service selected and receipt of cleared payment. Delivery times may vary, especially during peak periods.

Handling time

Will usually post within 10 business days of receiving cleared payment.

Taxes

Taxes may be applicable at checkout. Learn moreLearn more about paying tax on eBay purchases.