{"product_id":"9781461370253","title":"Discrete Event Systems: Analysis and Control","description":"\u003ch1\u003eDiscrete Event Systems: Analysis and Control\u003c\/h1\u003e \u003ch2\u003eBoel, R.; Stremersch, Geert\u003c\/h2\u003e \u003cp\u003e\u003cem\u003eDiscrete Event Systems: Analysis and Control\u003c\/em\u003e is the  proceedings of WODES2000 (the 5th Workshop on Discrete Event Systems,  held in Ghent, Belgium, on August 21-23, 2000). This book provides a  survey of the current state of the art in the field of modeling,  analysis and control synthesis of discrete event systems, lecture  notes for a mini course on sensitivity analysis for performance  evaluation of timed discrete event systems, and 48 carefully selected  papers covering all areas of discrete event theory and the most  important applications domains. Topics include automata theory and  supervisory control (12); Petri net based models for discrete event  systems, and their control synthesis (11); (max,+) and timed automata  models (9); applications papers related to scheduling, failure  detection, and implementation of supervisory controllers (7); formal  description of PLCs (6); and finally, stochastic models of discrete  event systems (3).\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2012-11-09\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9781461370253\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4615-4493-7\u003c\/p\u003e \u003cp\u003eDimensions: 235.0cm x155.0cm\u003c\/p\u003e \u003cp\u003ePages: 484.0\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":44358969557132,"sku":"9781461370253","price":98.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781461370253.jpg?v=1767147472","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9781461370253","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}