00880nam0-22002891i-450-99000617560040332119980601000617560FED01000617560(Aleph)000617560FED0100061756019980601g19561957km-y0itay50------ba--------00-yyAppunti di teoria dell'obbligazione in diritto romanoEmilio Betti.RomaEdizioni "Ricerche"1956-572 v.24 cm"Universita' degli studi di Roma. Facolta' di giurisprudenza"Anno accademico 1956-57Betti,Emilio68384ITUNINARICAUNIMARCBK990006175600403321IV E 17262645FGBCFGBCAppunti di teoria dell'obbligazione in diritto romano646997UNINAGIU0100988nam--2200349---450 99000309269020331620210215115701.088-89506-12-1000309269USA01000309269(ALEPH)000309269USA0100030926920080409d2007----km-y0itay50------baitaIT||||||||001yyLuciano Della Mea: giornalista militantescritti 1949-1962a cura di Paolo MencarelliManduriaLocaita2007325 p.22 cmStrumenti e fonti502001Strumenti e fonti2001335.0092DELLA MEA,Luciano126316MENCARELLI,PaoloITsalbcISBD990003092690203316X.3.A. 454206133 L.M.X.3.A.00210588BKUMALuciano Della Mea: giornalista militante1019490UNISA04650nam 22006975 450 991025419730332120200706024946.03-319-20496-310.1007/978-3-319-20496-3(CKB)3710000000436917(SSID)ssj0001558423(PQKBManifestationID)16183553(PQKBTitleCode)TC0001558423(PQKBWorkID)14819422(PQKB)11728165(DE-He213)978-3-319-20496-3(MiAaPQ)EBC6306755(MiAaPQ)EBC5591998(Au-PeEL)EBL5591998(OCoLC)1058213741(PPN)258847174(PPN)186399863(EXLCZ)99371000000043691720150623d2016 u| 0engurnn#008mamaatxtccrSupervisor Localization A Top-Down Approach to Distributed Control of Discrete-Event Systems /by Kai Cai, W. Murray Wonham1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (XV, 199 p. 136 illus., 9 illus. in color.)Lecture Notes in Control and Information Sciences,0170-8643 ;459Includes index.3-319-20495-5 Introduction -- Localization: Fundamental Results -- Localization: Further Results and Examples -- Localization for Large-Scale Systems -- Case Study: Production Cell -- Localization based on State Tree Structures -- Localization of Timed Discrete-Event Systems -- Conclusions -- Appendix A Nerode Equivalence and Canonical Recognizer -- Appendix B NP-Hardness of Minimal-State Localization -- Appendix C Quasi-Congruence of Nondeterministic Generator.This monograph presents a systematic top-down approach to distributed control synthesis of discrete-event systems (DES). The approach is called supervisor localization; its essence is the allocation of external supervisory control action to individual component agents as their internal control strategies. The procedure is: first synthesize a monolithic supervisor, to achieve globally optimal and nonblocking controlled behavior, then decompose the monolithic supervisor into local controllers, one for each agent. The collective behavior of the resulting local controllers is identical to that achieved by the monolithic supervisor. The basic localization theory is first presented in the Ramadge–Wonham language-based supervisory control framework, then demonstrated with distributed control examples of multi-robot formations, manufacturing systems, and distributed algorithms. An architectural approach is adopted to apply localization to large-scale DES; this yields a heterarchical localization procedure, which is also demonstrated with benchmark examples. Moreover, a state-based framework, state-tree structures, is exploited for efficient computation of localization. Finally localization is extended to timed DES, which addresses distributed control synthesis with temporal specifications. The authors’ TCT software and sourcecode will help the reader to reproduce the results demonstrated in the examples. Academic researchers and graduate students interested in discrete-event and distributed systems and control will find this book an instructive resource. It will also be useful for researchers in manufacturing, supply-chain and logistics and practitioners in related industries.Lecture Notes in Control and Information Sciences,0170-8643 ;459Automatic controlSystem theoryProduction managementControl and Systems Theoryhttps://scigraph.springernature.com/ontologies/product-market-codes/T19010Systems Theory, Controlhttps://scigraph.springernature.com/ontologies/product-market-codes/M13070Operations Managementhttps://scigraph.springernature.com/ontologies/product-market-codes/519000Automatic control.System theory.Production management.Control and Systems Theory.Systems Theory, Control.Operations Management.629.8Cai Kaiauthttp://id.loc.gov/vocabulary/relators/aut763789Wonham W. Murrayauthttp://id.loc.gov/vocabulary/relators/autMiAaPQMiAaPQMiAaPQBOOK9910254197303321Supervisor Localization2535382UNINA