LEADER 01276nam0 22002771i 450 001 VAN00042266 005 20240806100422.335 020 $aIT$b19383011 100 $a20060315d1938 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aˆLa ‰mancata esecuzione di provvedimento del giudice$econtributi all'interpretazione dell'art. 388 del Codice penale$fGiuliano Vassalli 210 $a[Torino]$cUnione tipografico-editrice torinese$d1938 215 $a123 p.$d26 cm 316 $aFondo Raffaele Papa$5IT-IT-CE0105 CONSXVII.Eb.50 316 $aFondo Raffaele Papa$5IT-IT-CE0105 CONSXVII.Eb.50bis 620 $dTorino$3VANL000001 700 1$aVassalli$bGiuliano$3VANV000181$0183053 712 $aUTET $3VANV107949$4650 801 $aIT$bSOL$c20240906$gRICA 912 $aVAN00042266 950 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00CONS XVII.Eb.50 $e00FP 29498 20060315 Fondo Raffaele Papa 950 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00CONS XVII.Eb.50 bis $e00FP 29499 20060315 Fondo Raffaele Papa 996 $aMancata esecuzione di provvedimento del giudice$9584001 997 $aUNICAMPANIA LEADER 04542nam 22005535 450 001 9910483029203321 005 20200706112633.0 010 $a3-319-77452-2 024 7 $a10.1007/978-3-319-77452-7 035 $a(CKB)4100000005820487 035 $a(MiAaPQ)EBC5494751 035 $a(DE-He213)978-3-319-77452-7 035 $z(PPN)258851341 035 $a(PPN)229916775 035 $a(EXLCZ)994100000005820487 100 $a20180817d2019 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSupervisory Control of Discrete-Event Systems /$fby W. Murray Wonham, Kai Cai 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (503 pages) 225 1 $aCommunications and Control Engineering,$x0178-5354 311 $a3-319-77451-4 327 $aIntroduction -- TCT: General Information -- Chapter 1. Algebraic Preliminaries -- Chapter 2. Linguistic Preliminaries -- Chapter 3. Supervision of Discrete-Event Systems: Basics -- Chapter 4. Decentralized and Distributed Supervision of Discrete-Event Systems -- Chapter 5. Hierarchical Supervision of Discrete-Event Systems -- Chapter 6. Supervisory Control With Partial Observations -- Chapter 7. State-Based Control of Discrete-Event Systems -- Chapter 8. Supervision of Vector Discrete-Event Systems -- Chapter 9. Supervisory Control of Timed Discrete-Event Systems -- Bibliography -- Appendix: Supervisory Control of a Mine Pump -- Index. 330 $aThis book shows how supervisory control theory (SCT) supports the formulation of various control problems of standard types, like the synthesis of controlled dynamic invariants by state feedback, and the resolution of such problems in terms of naturally definable control-theoretic concepts and properties, like reachability, controllability and observability. It exploits a simple, abstract model of controlled discrete-event systems (DES) that has proved to be tractable, appealing to control specialists, and expressive of a range of control-theoretic ideas. It allows readers to choose between automaton-based and dually language-based forms of SCT, depending on whether their preference is for an internal-structural or external-behavioral description of the problem. The monograph begins with two chapters on algebraic and linguistic preliminaries and the fundamental concepts and results of SCT are introduced. To handle complexity caused by system scale, architectural approaches?the horizontal modularity of decentralized and distributed supervision and the vertical modularity of hierarchical supervision?are introduced. Supervisory control under partial observation and state-based supervisory control are also addressed; in the latter, a vector DES model that exploits internal regularity of algebraic structure is proposed. Finally SCT is generalized to deal with timed DES by incorporating temporal features in addition to logical ones. Researchers and graduate students working with the control of discrete-event systems or who are interested in the development of supervisory control methods will find this book an invaluable aid in their studies. The text will also be of assistance to researchers in manufacturing, logistics, communications and transportation, areas which provide plentiful examples of the class of systems being discussed. 410 0$aCommunications and Control Engineering,$x0178-5354 606 $aAutomatic control 606 $aSystem theory 606 $aProduction management 606 $aControl and Systems Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/T19010 606 $aSystems Theory, Control$3https://scigraph.springernature.com/ontologies/product-market-codes/M13070 606 $aOperations Management$3https://scigraph.springernature.com/ontologies/product-market-codes/519000 615 0$aAutomatic control. 615 0$aSystem theory. 615 0$aProduction management. 615 14$aControl and Systems Theory. 615 24$aSystems Theory, Control. 615 24$aOperations Management. 676 $a003.83 700 $aWonham$b W. Murray$4aut$4http://id.loc.gov/vocabulary/relators/aut$0535935 702 $aCai$b Kai$4aut$4http://id.loc.gov/vocabulary/relators/aut 906 $aBOOK 912 $a9910483029203321 996 $aSupervisory Control of Discrete-Event Systems$92852838 997 $aUNINA