1574. An almanacke and prognostication, for the yere of our Lord God M.D.LXXIIII [[electronic resource] ] : Whiche yere is from the begynnyng of... Made and written in Salisbury by Iohn Securis, maister of Art and Phisicke

• Record Nr.: UNISA996384835803316
• Autore: Securis John
• Pubbl/distr/stampa: [London, : By Richarde Watkins, and Iames Robertes, 1574]
• Descrizione fisica: [48] p
• Soggetti: Almanacs, English
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Imprint from STC.; At foot of title page: Cum priuilegio Regiæ Maiestatis.; Printed in red and black.; "A prognostication for the yeere of our Lorde M.D.LXXIII" has separate title page dated: Anno mundi. 5536.; Signatures: [A]-B ² B.; Formerly STC 22233. Identified as STC 22233 on UMI microfilm, reel 1155.; Reproductions of the original in the British Library.; Appears at reel 409 and at reel 1155 (both are British Library copy).
• Sommario/riassunto: eebo-0018

A declaration of the Lords and Commons assembled in Parliament [[electronic resource] ] : in answer to the Kings declaration concerning Hull

• Record Nr.: UNISA996387116003316
• Pubbl/distr/stampa: London, : Printed for Ioseph Hunscot and Iohn Wright, May 26, 1642
• Descrizione fisica: 8, [12] p
• Soggetti: Great Britain History Civil War, 1642-1649
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: "Die Mercurii, 25 Maii 1642. Ordered by the Lords in Parliament, that this declaration shall be forthwith printed and published. Io. Browne cleric. Parliamentor."; Imperfect: print show-through, with slight loss of print.; Reproduction of original in the Harvard University Library.
• Sommario/riassunto: eebo-0062

Formal Methods for Discrete-Time Dynamical Systems / / by Calin Belta, Boyan Yordanov, Ebru Aydin Gol

• Record Nr.: UNINA9910254329903321
• Autore: Belta Calin
• Pubbl/distr/stampa: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
• Edizione: [1st ed. 2017.]
• Descrizione fisica: 1 online resource (XVIII, 284 p. 93 illus., 39 illus. in color.)
• Collana: Studies in Systems, Decision and Control, , 2198-4182 ; ; 89
• Disciplina: 620
• Soggetti: Automatic control; Computational complexity; System theory; Control and Systems Theory; Complexity; Systems Theory, Control
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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.
• Sommario/riassunto: This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models. The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the ; appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book.