Principles of cyber-physical systems

Preface; 1 Introduction; 2 Synchronous Model; 3 Safety Requirements; 4 Asynchronous Model; 5 Liveness Requirements; 6 Dynamical Systems; 7 Timed Model; 8 Real-Time Scheduling; 9 Hybrid Systems; Bibliography; Index.

Gespeichert in:

Autor*in:	Alur, Rajeev - 1966- [verfasserIn]

Format:	E-Book
Sprache:	Englisch

Erschienen:	Cambridge, Massachusetts London, England: The MIT Press ; 2015

Schlagwörter:	Automatic control System design Embedded Internet devices Internet of things Formal methods (Computer science) COMPUTERS ; General COMPUTERS ; Computer Engineering Sensor Eingebettetes System Internet der Dinge Systementwicklung Formale Methode Mathematisches Modell Control automático Sistemas empotrados Epitaxial layers Excitons Nitrogen Radiative recombination Silicon carbide Temperature measurement

Anmerkung:	Includes bibliographical references and index
Umfang:	1 Online-Ressource (xii, 446 Seiten) ; Illustrationen

Links:	Link aufrufen Link aufrufen
ISBN:	0-262-32845-3 978-0-262-32845-6 0-262-32846-1 978-0-262-32846-3

Katalog-ID:	1689613084

Internformat


LEADER	01000cam a2200265 4500
001	1689613084
003	DE-627
005	20220729052945.0
007	cr uuu---uuuuu
008	200207s2015 xxu\|\|\|\|\|o 00\| \|\|eng c
020			\|a 0262328453 \|c electronic bk. \|9 0-262-32845-3
020			\|a 9780262328456 \|c electronic bk. \|9 978-0-262-32845-6
020			\|a 0262328461 \|9 0-262-32846-1
020			\|a 9780262328463 \|9 978-0-262-32846-3
020			\|z 9780262029117
020			\|z 0262029111
035			\|a (DE-627)1689613084
035			\|a (DE-599)KXP1689613084
035			\|a (OCoLC)911209976
035			\|a (MITPRESS)7109352
035			\|a (EBP)055122884
040			\|a DE-627 \|b eng \|c DE-627 \|e rda
041			\|a eng
044			\|c XD-US
082	0		\|a 006.2/2 \|2 23
100	1		\|a Alur, Rajeev \|d 1966- \|e verfasserin \|0 (DE-588)17409566X \|0 (DE-627)698989813 \|0 (DE-576)134929152 \|4 aut
245	1	0	\|a Principles of cyber-physical systems \|c Rajeev Alur
264		1	\|a Cambridge, Massachusetts \|a London, England \|b The MIT Press \|c [2015]
300			\|a 1 Online-Ressource (xii, 446 Seiten) \|b Illustrationen
336			\|a Text \|b txt \|2 rdacontent
337			\|a Computermedien \|b c \|2 rdamedia
338			\|a Online-Ressource \|b cr \|2 rdacarrier
500			\|a Includes bibliographical references and index
520			\|a Preface; 1 Introduction; 2 Synchronous Model; 3 Safety Requirements; 4 Asynchronous Model; 5 Liveness Requirements; 6 Dynamical Systems; 7 Timed Model; 8 Real-Time Scheduling; 9 Hybrid Systems; Bibliography; Index.
520			\|a A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems
650		0	\|a Automatic control
650		0	\|a System design
650		0	\|a Embedded Internet devices
650		0	\|a Internet of things
650		0	\|a Formal methods (Computer science)
650		4	\|a COMPUTERS ; General
650		4	\|a COMPUTERS ; Computer Engineering
650		4	\|a Sensor
650		4	\|a Eingebettetes System
650		4	\|a Internet der Dinge
650		4	\|a Systementwicklung
650		4	\|a Formale Methode
650		4	\|a Mathematisches Modell
650		4	\|a Control automático
650		4	\|a Sistemas empotrados
650		4	\|a System design
650		4	\|a Formal methods (Computer science)
650		4	\|a Automatic control
650		4	\|a Embedded Internet devices
650		4	\|a Internet of things
650		4	\|a Epitaxial layers
650		4	\|a Excitons
650		4	\|a Nitrogen
650		4	\|a Radiative recombination
650		4	\|a Silicon carbide
650		4	\|a Temperature measurement
776	1		\|z 9780262029117
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 9780262029117
856	4	0	\|u https://ieeexplore.ieee.org/book/7109352 \|m X:MITPRESS \|x Verlag \|z lizenzpflichtig
912			\|a ZDB-37-IEM \|b 2015
912			\|a GBV_ILN_22
912			\|a ISIL_DE-18
912			\|a SYSFLAG_1
912			\|a GBV_KXP
912			\|a GBV_ILN_22_i22818
912			\|a GBV_ILN_23
912			\|a ISIL_DE-830
912			\|a GBV_ILN_100
912			\|a ISIL_DE-Ma9
912			\|a GBV_ILN_370
912			\|a ISIL_DE-1373
912			\|a GBV_ILN_2015
912			\|a ISIL_DE-93
951			\|a BO
953			\|2 045F \|a 006.2/2
980			\|2 22 \|1 01 \|x 0018 \|b 3848473208 \|h olrm-h228-MITIEEE \|y zi22818 \|z 03-02-21
980			\|2 23 \|1 01 \|x 0830 \|b 3589452528 \|h olr-MIT \|u i \|y z \|z 07-02-20
980			\|2 100 \|1 01 \|x 3100 \|b 1568910797 \|c 09 \|f --%%-- \|d eBook MIT Press \|e --%%-- \|j --%%-- \|h OLR-MIT-CEC \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. \|y z \|z 21-09-15
980			\|2 370 \|1 01 \|x 4370 \|b 4011220086 \|h olr-ebook mitieee \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. \|u i \|y z \|z 01-12-21
980			\|2 2015 \|1 01 \|x DE-93 \|b 3740748230 \|c 00 \|f --%%-- \|d --%%-- \|e p \|j --%%-- \|k Campuslizenz \|y l01 \|z 18-08-20
981			\|2 22 \|1 01 \|x 0018 \|y Volltextzugang Campus \|r https://ieeexplore.ieee.org/book/7109352
981			\|2 22 \|1 01 \|x 0018 \|y Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus \|r http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/book/7109352
981			\|2 23 \|1 01 \|x 0830 \|y MIT Press EBook \|r https://ieeexplore.ieee.org/book/7109352
981			\|2 100 \|1 01 \|x 3100 \|r http://ieeexplore.ieee.org/servlet/opac?bknumber=7109352
981			\|2 100 \|1 01 \|x 3100 \|y für Uniangehörige: Zugang weltweit \|r http://HAN.MED.UNI-MAGDEBURG.DE/han/mitvia-ieee/ieeexplore.ieee.org/servlet/opac?bknumber=7109352
981			\|2 370 \|1 01 \|x 4370 \|y E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich \|r https://ieeexplore.ieee.org/book/7109352
981			\|2 2015 \|1 01 \|x DE-93 \|r https://ieeexplore.ieee.org/book/7109352
983			\|2 100 \|1 00 \|x DE-Ma9 \|8 00 \|a Y. 20
985			\|2 23 \|1 01 \|x 0830 \|a 2018-01805, 2018-01806, 2018-01808
995			\|2 22 \|1 01 \|x 0018 \|a olrm-h228-MITIEEE
995			\|2 23 \|1 01 \|x 0830 \|a olr-MIT
995			\|2 100 \|1 01 \|x 3100 \|a OLR-MIT-CEC
995			\|2 100 \|1 01 \|x 3100 \|a ACQ
995			\|2 370 \|1 01 \|x 4370 \|a olr-ebook mitieee
998			\|2 370 \|1 01 \|x 4370 \|0 2021.12.01

Indexfelder

author_variant	r a ra
matchkey_str	book:9780262328456:2015----
oclc_num	911209976
hierarchy_sort_str	[2015]
publishDate	2015
allfields	0262328453 electronic bk. 0-262-32845-3 9780262328456 electronic bk. 978-0-262-32845-6 0262328461 0-262-32846-1 9780262328463 978-0-262-32846-3 9780262029117 0262029111 (DE-627)1689613084 (DE-599)KXP1689613084 (OCoLC)911209976 (MITPRESS)7109352 (EBP)055122884 DE-627 eng DE-627 rda eng XD-US 006.2/2 23 Alur, Rajeev 1966- verfasserin (DE-588)17409566X (DE-627)698989813 (DE-576)134929152 aut Principles of cyber-physical systems Rajeev Alur Cambridge, Massachusetts London, England The MIT Press [2015] 1 Online-Ressource (xii, 446 Seiten) Illustrationen Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Includes bibliographical references and index Preface; 1 Introduction; 2 Synchronous Model; 3 Safety Requirements; 4 Asynchronous Model; 5 Liveness Requirements; 6 Dynamical Systems; 7 Timed Model; 8 Real-Time Scheduling; 9 Hybrid Systems; Bibliography; Index. A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems Automatic control System design Embedded Internet devices Internet of things Formal methods (Computer science) COMPUTERS ; General COMPUTERS ; Computer Engineering Sensor Eingebettetes System Internet der Dinge Systementwicklung Formale Methode Mathematisches Modell Control automático Sistemas empotrados System design Formal methods (Computer science) Automatic control Embedded Internet devices Internet of things Epitaxial layers Excitons Nitrogen Radiative recombination Silicon carbide Temperature measurement 9780262029117 Erscheint auch als Druck-Ausgabe 9780262029117 https://ieeexplore.ieee.org/book/7109352 X:MITPRESS Verlag lizenzpflichtig ZDB-37-IEM 2015 GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_22_i22818 GBV_ILN_23 ISIL_DE-830 GBV_ILN_100 ISIL_DE-Ma9 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_2015 ISIL_DE-93 BO 045F 006.2/2 22 01 0018 3848473208 olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 3589452528 olr-MIT i z 07-02-20 100 01 3100 1568910797 09 --%%-- eBook MIT Press --%%-- --%%-- OLR-MIT-CEC Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 21-09-15 370 01 4370 4011220086 olr-ebook mitieee Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 01-12-21 2015 01 DE-93 3740748230 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/7109352 22 01 0018 Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/book/7109352 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/7109352 100 01 3100 http://ieeexplore.ieee.org/servlet/opac?bknumber=7109352 100 01 3100 für Uniangehörige: Zugang weltweit http://HAN.MED.UNI-MAGDEBURG.DE/han/mitvia-ieee/ieeexplore.ieee.org/servlet/opac?bknumber=7109352 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://ieeexplore.ieee.org/book/7109352 2015 01 DE-93 https://ieeexplore.ieee.org/book/7109352 100 00 DE-Ma9 00 Y. 20 23 01 0830 2018-01805, 2018-01806, 2018-01808 22 01 0018 olrm-h228-MITIEEE 23 01 0830 olr-MIT 100 01 3100 OLR-MIT-CEC 100 01 3100 ACQ 370 01 4370 olr-ebook mitieee 370 01 4370 2021.12.01
spelling	0262328453 electronic bk. 0-262-32845-3 9780262328456 electronic bk. 978-0-262-32845-6 0262328461 0-262-32846-1 9780262328463 978-0-262-32846-3 9780262029117 0262029111 (DE-627)1689613084 (DE-599)KXP1689613084 (OCoLC)911209976 (MITPRESS)7109352 (EBP)055122884 DE-627 eng DE-627 rda eng XD-US 006.2/2 23 Alur, Rajeev 1966- verfasserin (DE-588)17409566X (DE-627)698989813 (DE-576)134929152 aut Principles of cyber-physical systems Rajeev Alur Cambridge, Massachusetts London, England The MIT Press [2015] 1 Online-Ressource (xii, 446 Seiten) Illustrationen Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Includes bibliographical references and index Preface; 1 Introduction; 2 Synchronous Model; 3 Safety Requirements; 4 Asynchronous Model; 5 Liveness Requirements; 6 Dynamical Systems; 7 Timed Model; 8 Real-Time Scheduling; 9 Hybrid Systems; Bibliography; Index. A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems Automatic control System design Embedded Internet devices Internet of things Formal methods (Computer science) COMPUTERS ; General COMPUTERS ; Computer Engineering Sensor Eingebettetes System Internet der Dinge Systementwicklung Formale Methode Mathematisches Modell Control automático Sistemas empotrados System design Formal methods (Computer science) Automatic control Embedded Internet devices Internet of things Epitaxial layers Excitons Nitrogen Radiative recombination Silicon carbide Temperature measurement 9780262029117 Erscheint auch als Druck-Ausgabe 9780262029117 https://ieeexplore.ieee.org/book/7109352 X:MITPRESS Verlag lizenzpflichtig ZDB-37-IEM 2015 GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_22_i22818 GBV_ILN_23 ISIL_DE-830 GBV_ILN_100 ISIL_DE-Ma9 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_2015 ISIL_DE-93 BO 045F 006.2/2 22 01 0018 3848473208 olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 3589452528 olr-MIT i z 07-02-20 100 01 3100 1568910797 09 --%%-- eBook MIT Press --%%-- --%%-- OLR-MIT-CEC Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 21-09-15 370 01 4370 4011220086 olr-ebook mitieee Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 01-12-21 2015 01 DE-93 3740748230 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/7109352 22 01 0018 Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/book/7109352 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/7109352 100 01 3100 http://ieeexplore.ieee.org/servlet/opac?bknumber=7109352 100 01 3100 für Uniangehörige: Zugang weltweit http://HAN.MED.UNI-MAGDEBURG.DE/han/mitvia-ieee/ieeexplore.ieee.org/servlet/opac?bknumber=7109352 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://ieeexplore.ieee.org/book/7109352 2015 01 DE-93 https://ieeexplore.ieee.org/book/7109352 100 00 DE-Ma9 00 Y. 20 23 01 0830 2018-01805, 2018-01806, 2018-01808 22 01 0018 olrm-h228-MITIEEE 23 01 0830 olr-MIT 100 01 3100 OLR-MIT-CEC 100 01 3100 ACQ 370 01 4370 olr-ebook mitieee 370 01 4370 2021.12.01
allfields_unstemmed	0262328453 electronic bk. 0-262-32845-3 9780262328456 electronic bk. 978-0-262-32845-6 0262328461 0-262-32846-1 9780262328463 978-0-262-32846-3 9780262029117 0262029111 (DE-627)1689613084 (DE-599)KXP1689613084 (OCoLC)911209976 (MITPRESS)7109352 (EBP)055122884 DE-627 eng DE-627 rda eng XD-US 006.2/2 23 Alur, Rajeev 1966- verfasserin (DE-588)17409566X (DE-627)698989813 (DE-576)134929152 aut Principles of cyber-physical systems Rajeev Alur Cambridge, Massachusetts London, England The MIT Press [2015] 1 Online-Ressource (xii, 446 Seiten) Illustrationen Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Includes bibliographical references and index Preface; 1 Introduction; 2 Synchronous Model; 3 Safety Requirements; 4 Asynchronous Model; 5 Liveness Requirements; 6 Dynamical Systems; 7 Timed Model; 8 Real-Time Scheduling; 9 Hybrid Systems; Bibliography; Index. A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems Automatic control System design Embedded Internet devices Internet of things Formal methods (Computer science) COMPUTERS ; General COMPUTERS ; Computer Engineering Sensor Eingebettetes System Internet der Dinge Systementwicklung Formale Methode Mathematisches Modell Control automático Sistemas empotrados System design Formal methods (Computer science) Automatic control Embedded Internet devices Internet of things Epitaxial layers Excitons Nitrogen Radiative recombination Silicon carbide Temperature measurement 9780262029117 Erscheint auch als Druck-Ausgabe 9780262029117 https://ieeexplore.ieee.org/book/7109352 X:MITPRESS Verlag lizenzpflichtig ZDB-37-IEM 2015 GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_22_i22818 GBV_ILN_23 ISIL_DE-830 GBV_ILN_100 ISIL_DE-Ma9 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_2015 ISIL_DE-93 BO 045F 006.2/2 22 01 0018 3848473208 olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 3589452528 olr-MIT i z 07-02-20 100 01 3100 1568910797 09 --%%-- eBook MIT Press --%%-- --%%-- OLR-MIT-CEC Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 21-09-15 370 01 4370 4011220086 olr-ebook mitieee Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 01-12-21 2015 01 DE-93 3740748230 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/7109352 22 01 0018 Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/book/7109352 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/7109352 100 01 3100 http://ieeexplore.ieee.org/servlet/opac?bknumber=7109352 100 01 3100 für Uniangehörige: Zugang weltweit http://HAN.MED.UNI-MAGDEBURG.DE/han/mitvia-ieee/ieeexplore.ieee.org/servlet/opac?bknumber=7109352 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://ieeexplore.ieee.org/book/7109352 2015 01 DE-93 https://ieeexplore.ieee.org/book/7109352 100 00 DE-Ma9 00 Y. 20 23 01 0830 2018-01805, 2018-01806, 2018-01808 22 01 0018 olrm-h228-MITIEEE 23 01 0830 olr-MIT 100 01 3100 OLR-MIT-CEC 100 01 3100 ACQ 370 01 4370 olr-ebook mitieee 370 01 4370 2021.12.01
allfieldsGer	0262328453 electronic bk. 0-262-32845-3 9780262328456 electronic bk. 978-0-262-32845-6 0262328461 0-262-32846-1 9780262328463 978-0-262-32846-3 9780262029117 0262029111 (DE-627)1689613084 (DE-599)KXP1689613084 (OCoLC)911209976 (MITPRESS)7109352 (EBP)055122884 DE-627 eng DE-627 rda eng XD-US 006.2/2 23 Alur, Rajeev 1966- verfasserin (DE-588)17409566X (DE-627)698989813 (DE-576)134929152 aut Principles of cyber-physical systems Rajeev Alur Cambridge, Massachusetts London, England The MIT Press [2015] 1 Online-Ressource (xii, 446 Seiten) Illustrationen Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Includes bibliographical references and index Preface; 1 Introduction; 2 Synchronous Model; 3 Safety Requirements; 4 Asynchronous Model; 5 Liveness Requirements; 6 Dynamical Systems; 7 Timed Model; 8 Real-Time Scheduling; 9 Hybrid Systems; Bibliography; Index. A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems Automatic control System design Embedded Internet devices Internet of things Formal methods (Computer science) COMPUTERS ; General COMPUTERS ; Computer Engineering Sensor Eingebettetes System Internet der Dinge Systementwicklung Formale Methode Mathematisches Modell Control automático Sistemas empotrados System design Formal methods (Computer science) Automatic control Embedded Internet devices Internet of things Epitaxial layers Excitons Nitrogen Radiative recombination Silicon carbide Temperature measurement 9780262029117 Erscheint auch als Druck-Ausgabe 9780262029117 https://ieeexplore.ieee.org/book/7109352 X:MITPRESS Verlag lizenzpflichtig ZDB-37-IEM 2015 GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_22_i22818 GBV_ILN_23 ISIL_DE-830 GBV_ILN_100 ISIL_DE-Ma9 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_2015 ISIL_DE-93 BO 045F 006.2/2 22 01 0018 3848473208 olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 3589452528 olr-MIT i z 07-02-20 100 01 3100 1568910797 09 --%%-- eBook MIT Press --%%-- --%%-- OLR-MIT-CEC Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 21-09-15 370 01 4370 4011220086 olr-ebook mitieee Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 01-12-21 2015 01 DE-93 3740748230 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/7109352 22 01 0018 Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/book/7109352 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/7109352 100 01 3100 http://ieeexplore.ieee.org/servlet/opac?bknumber=7109352 100 01 3100 für Uniangehörige: Zugang weltweit http://HAN.MED.UNI-MAGDEBURG.DE/han/mitvia-ieee/ieeexplore.ieee.org/servlet/opac?bknumber=7109352 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://ieeexplore.ieee.org/book/7109352 2015 01 DE-93 https://ieeexplore.ieee.org/book/7109352 100 00 DE-Ma9 00 Y. 20 23 01 0830 2018-01805, 2018-01806, 2018-01808 22 01 0018 olrm-h228-MITIEEE 23 01 0830 olr-MIT 100 01 3100 OLR-MIT-CEC 100 01 3100 ACQ 370 01 4370 olr-ebook mitieee 370 01 4370 2021.12.01
allfieldsSound	0262328453 electronic bk. 0-262-32845-3 9780262328456 electronic bk. 978-0-262-32845-6 0262328461 0-262-32846-1 9780262328463 978-0-262-32846-3 9780262029117 0262029111 (DE-627)1689613084 (DE-599)KXP1689613084 (OCoLC)911209976 (MITPRESS)7109352 (EBP)055122884 DE-627 eng DE-627 rda eng XD-US 006.2/2 23 Alur, Rajeev 1966- verfasserin (DE-588)17409566X (DE-627)698989813 (DE-576)134929152 aut Principles of cyber-physical systems Rajeev Alur Cambridge, Massachusetts London, England The MIT Press [2015] 1 Online-Ressource (xii, 446 Seiten) Illustrationen Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Includes bibliographical references and index Preface; 1 Introduction; 2 Synchronous Model; 3 Safety Requirements; 4 Asynchronous Model; 5 Liveness Requirements; 6 Dynamical Systems; 7 Timed Model; 8 Real-Time Scheduling; 9 Hybrid Systems; Bibliography; Index. A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems Automatic control System design Embedded Internet devices Internet of things Formal methods (Computer science) COMPUTERS ; General COMPUTERS ; Computer Engineering Sensor Eingebettetes System Internet der Dinge Systementwicklung Formale Methode Mathematisches Modell Control automático Sistemas empotrados System design Formal methods (Computer science) Automatic control Embedded Internet devices Internet of things Epitaxial layers Excitons Nitrogen Radiative recombination Silicon carbide Temperature measurement 9780262029117 Erscheint auch als Druck-Ausgabe 9780262029117 https://ieeexplore.ieee.org/book/7109352 X:MITPRESS Verlag lizenzpflichtig ZDB-37-IEM 2015 GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_22_i22818 GBV_ILN_23 ISIL_DE-830 GBV_ILN_100 ISIL_DE-Ma9 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_2015 ISIL_DE-93 BO 045F 006.2/2 22 01 0018 3848473208 olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 3589452528 olr-MIT i z 07-02-20 100 01 3100 1568910797 09 --%%-- eBook MIT Press --%%-- --%%-- OLR-MIT-CEC Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 21-09-15 370 01 4370 4011220086 olr-ebook mitieee Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 01-12-21 2015 01 DE-93 3740748230 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/7109352 22 01 0018 Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/book/7109352 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/7109352 100 01 3100 http://ieeexplore.ieee.org/servlet/opac?bknumber=7109352 100 01 3100 für Uniangehörige: Zugang weltweit http://HAN.MED.UNI-MAGDEBURG.DE/han/mitvia-ieee/ieeexplore.ieee.org/servlet/opac?bknumber=7109352 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://ieeexplore.ieee.org/book/7109352 2015 01 DE-93 https://ieeexplore.ieee.org/book/7109352 100 00 DE-Ma9 00 Y. 20 23 01 0830 2018-01805, 2018-01806, 2018-01808 22 01 0018 olrm-h228-MITIEEE 23 01 0830 olr-MIT 100 01 3100 OLR-MIT-CEC 100 01 3100 ACQ 370 01 4370 olr-ebook mitieee 370 01 4370 2021.12.01
language	English
format_phy_str_mv	Book
building	22:i 23 100 370 2015:0
institution	findex.gbv.de
selectbib_iln_str_mv	22@i22818 23@ 100@ 370@ 2015@01
topic_facet	Automatic control System design Embedded Internet devices Internet of things Formal methods (Computer science) COMPUTERS ; General COMPUTERS ; Computer Engineering Sensor Eingebettetes System Internet der Dinge Systementwicklung Formale Methode Mathematisches Modell Control automático Sistemas empotrados Epitaxial layers Excitons Nitrogen Radiative recombination Silicon carbide Temperature measurement
dewey-raw	006.2/2
isfreeaccess_bool	false
authorswithroles_txt_mv	Alur, Rajeev @@aut@@
publishDateDaySort_date	2015-01-01T00:00:00Z
dewey-sort	16.2 12
id	1689613084
signature_iln	100:eBook MIT Press 3100:eBook MIT Press
signature_iln_str_mv	100:eBook MIT Press 3100:eBook MIT Press
signature_iln_scis_mv	100:eBook MIT Press 3100:eBook MIT Press
language_de	englisch
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000cam a2200265 4500</leader><controlfield tag="001">1689613084</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220729052945.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">200207s2015 xxu\|\|\|\|\|o 00\| \|\|eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262328453</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-262-32845-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262328456</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-262-32845-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262328461</subfield><subfield code="9">0-262-32846-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262328463</subfield><subfield code="9">978-0-262-32846-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780262029117</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0262029111</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)1689613084</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)KXP1689613084</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)911209976</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MITPRESS)7109352</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EBP)055122884</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">eng</subfield><subfield code="c">DE-627</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="c">XD-US</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.2/2</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Alur, Rajeev</subfield><subfield code="d">1966-</subfield><subfield code="e">verfasserin</subfield><subfield code="0">(DE-588)17409566X</subfield><subfield code="0">(DE-627)698989813</subfield><subfield code="0">(DE-576)134929152</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Principles of cyber-physical systems</subfield><subfield code="c">Rajeev Alur</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Massachusetts</subfield><subfield code="a">London, England</subfield><subfield code="b">The MIT Press</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xii, 446 Seiten)</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Preface; 1 Introduction; 2 Synchronous Model; 3 Safety Requirements; 4 Asynchronous Model; 5 Liveness Requirements; 6 Dynamical Systems; 7 Timed Model; 8 Real-Time Scheduling; 9 Hybrid Systems; Bibliography; Index.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Automatic control</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">System design</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Embedded Internet devices</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Internet of things</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Formal methods (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">COMPUTERS ; General</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">COMPUTERS ; Computer Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sensor</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Eingebettetes System</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Internet der Dinge</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systementwicklung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formale Methode</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematisches Modell</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Control automático</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sistemas empotrados</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic control</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Embedded Internet devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Internet of things</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Epitaxial layers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Excitons</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nitrogen</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Radiative recombination</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Silicon carbide</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Temperature measurement</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9780262029117</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780262029117</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ieeexplore.ieee.org/book/7109352</subfield><subfield code="m">X:MITPRESS</subfield><subfield code="x">Verlag</subfield><subfield code="z">lizenzpflichtig</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-37-IEM</subfield><subfield code="b">2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-18</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_KXP</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22_i22818</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_23</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-830</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_100</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Ma9</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_370</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-1373</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-93</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">BO</subfield></datafield><datafield tag="953" ind1=" " ind2=" "><subfield code="2">045F</subfield><subfield code="a">006.2/2</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="b">3848473208</subfield><subfield code="h">olrm-h228-MITIEEE</subfield><subfield code="y">zi22818</subfield><subfield code="z">03-02-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="b">3589452528</subfield><subfield code="h">olr-MIT</subfield><subfield code="u">i</subfield><subfield code="y">z</subfield><subfield code="z">07-02-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="b">1568910797</subfield><subfield code="c">09</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook MIT Press</subfield><subfield code="e">--%%--</subfield><subfield code="j">--%%--</subfield><subfield code="h">OLR-MIT-CEC</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="y">z</subfield><subfield code="z">21-09-15</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="b">4011220086</subfield><subfield code="h">olr-ebook mitieee</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="u">i</subfield><subfield code="y">z</subfield><subfield code="z">01-12-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2015</subfield><subfield code="1">01</subfield><subfield code="x">DE-93</subfield><subfield code="b">3740748230</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">p</subfield><subfield code="j">--%%--</subfield><subfield code="k">Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">18-08-20</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="y">Volltextzugang Campus</subfield><subfield code="r">https://ieeexplore.ieee.org/book/7109352</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="y">Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus</subfield><subfield code="r">http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/book/7109352</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="y">MIT Press EBook</subfield><subfield code="r">https://ieeexplore.ieee.org/book/7109352</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="r">http://ieeexplore.ieee.org/servlet/opac?bknumber=7109352</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="y">für Uniangehörige: Zugang weltweit</subfield><subfield code="r">http://HAN.MED.UNI-MAGDEBURG.DE/han/mitvia-ieee/ieeexplore.ieee.org/servlet/opac?bknumber=7109352</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="y">E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich</subfield><subfield code="r">https://ieeexplore.ieee.org/book/7109352</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2015</subfield><subfield code="1">01</subfield><subfield code="x">DE-93</subfield><subfield code="r">https://ieeexplore.ieee.org/book/7109352</subfield></datafield><datafield tag="983" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">00</subfield><subfield code="x">DE-Ma9</subfield><subfield code="8">00</subfield><subfield code="a">Y. 20</subfield></datafield><datafield tag="985" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="a">2018-01805, 2018-01806, 2018-01808</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="a">olrm-h228-MITIEEE</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="a">olr-MIT</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="a">OLR-MIT-CEC</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="a">ACQ</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="a">olr-ebook mitieee</subfield></datafield><datafield tag="998" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="0">2021.12.01</subfield></datafield></record></collection>
standort_str_mv	--%%--
standort_iln_str_mv	100:--%%-- 3100:--%%-- 2015:--%%-- DE-93:--%%--
author	Alur, Rajeev 1966-
spellingShingle	Alur, Rajeev 1966- ddc 006.2/2 misc Automatic control misc System design misc Embedded Internet devices misc Internet of things misc Formal methods (Computer science) misc COMPUTERS ; General misc COMPUTERS ; Computer Engineering misc Sensor misc Eingebettetes System misc Internet der Dinge misc Systementwicklung misc Formale Methode misc Mathematisches Modell misc Control automático misc Sistemas empotrados misc Epitaxial layers misc Excitons misc Nitrogen misc Radiative recombination misc Silicon carbide misc Temperature measurement Principles of cyber-physical systems
authorStr	Alur, Rajeev 1966-
format	eBook
dewey-ones	006 - Special computer methods
delete_txt_mv	keep
author_role	aut
typewithnormlink_str_mv	DifferentiatedPerson@(DE-588)17409566X Person@(DE-588)17409566X
collection	KXP GVK SWB
publishPlace	Cambridge, Massachusetts London, England
remote_str	true
abrufzeichen_iln_str_mv	22@olrm-h228-MITIEEE 23@olr-MIT 100@OLR-MIT-CEC 100@ACQ 370@olr-ebook mitieee
abrufzeichen_iln_scis_mv	22@olrm-h228-MITIEEE 23@olr-MIT 100@OLR-MIT-CEC 100@ACQ 370@olr-ebook mitieee
last_changed_iln_str_mv	22@03-02-21 23@07-02-20 100@21-09-15 370@01-12-21 2015@18-08-20
illustrated	Not Illustrated
notation_local_iln_str_mv	100:Y. 20 DE-Ma9:Y. 20
topic_title	006.2/2 23 Principles of cyber-physical systems Rajeev Alur Automatic control System design Embedded Internet devices Internet of things Formal methods (Computer science) COMPUTERS ; General COMPUTERS ; Computer Engineering Sensor Eingebettetes System Internet der Dinge Systementwicklung Formale Methode Mathematisches Modell Control automático Sistemas empotrados Epitaxial layers Excitons Nitrogen Radiative recombination Silicon carbide Temperature measurement
publisher	The MIT Press
publisherStr	The MIT Press
topic	ddc 006.2/2 misc Automatic control misc System design misc Embedded Internet devices misc Internet of things misc Formal methods (Computer science) misc COMPUTERS ; General misc COMPUTERS ; Computer Engineering misc Sensor misc Eingebettetes System misc Internet der Dinge misc Systementwicklung misc Formale Methode misc Mathematisches Modell misc Control automático misc Sistemas empotrados misc Epitaxial layers misc Excitons misc Nitrogen misc Radiative recombination misc Silicon carbide misc Temperature measurement
topic_unstemmed	ddc 006.2/2 misc Automatic control misc System design misc Embedded Internet devices misc Internet of things misc Formal methods (Computer science) misc COMPUTERS ; General misc COMPUTERS ; Computer Engineering misc Sensor misc Eingebettetes System misc Internet der Dinge misc Systementwicklung misc Formale Methode misc Mathematisches Modell misc Control automático misc Sistemas empotrados misc Epitaxial layers misc Excitons misc Nitrogen misc Radiative recombination misc Silicon carbide misc Temperature measurement
topic_browse	ddc 006.2/2 misc Automatic control misc System design misc Embedded Internet devices misc Internet of things misc Formal methods (Computer science) misc COMPUTERS ; General misc COMPUTERS ; Computer Engineering misc Sensor misc Eingebettetes System misc Internet der Dinge misc Systementwicklung misc Formale Methode misc Mathematisches Modell misc Control automático misc Sistemas empotrados misc Epitaxial layers misc Excitons misc Nitrogen misc Radiative recombination misc Silicon carbide misc Temperature measurement
format_facet	Elektronische Bücher Bücher Elektronische Ressource
standort_txtP_mv	--%%--
format_main_str_mv	Text Buch
carriertype_str_mv	cr
normlinkwithtype_str_mv	(DE-588)17409566X@DifferentiatedPerson (DE-588)17409566X@Person
signature	eBook MIT Press --%%--
signature_str_mv	eBook MIT Press --%%--
dewey-tens	000 - Computer science, knowledge & systems
isbn	0262328453 9780262328456 0262328461 9780262328463 9780262029117 0262029111
isfreeaccess_txt	false
normlinkwithrole_str_mv	(DE-588)17409566X@@aut@@
title	Principles of cyber-physical systems
ctrlnum	(DE-627)1689613084 (DE-599)KXP1689613084 (OCoLC)911209976 (MITPRESS)7109352 (EBP)055122884
exemplarkommentar_str_mv	100@Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. 370@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. 2015@Campuslizenz
title_full	Principles of cyber-physical systems Rajeev Alur
author_sort	Alur, Rajeev 1966-
callnumber-first-code	e
lang_code	eng
class_local	100 00 DE-Ma9 00 Y. 20
selektneu_str_mv	370@2021.12.01
isOA_bool	false
dewey-hundreds	000 - Computer science, information & general works
recordtype	marc
publishDateSort	2015
contenttype_str_mv	txt
class_local_iln	100:Y. 20 DE-Ma9:Y. 20
author_browse	Alur, Rajeev
selectkey	22:z 23:z 100:z 370:z 2015:l
physical	1 Online-Ressource (xii, 446 Seiten) Illustrationen
class	006.2/2 23 100 00 DE-Ma9 00 Y. 20
format_se	Elektronische Bücher
countryofpublication_str_mv	XD-US
author-letter	Alur, Rajeev
classname_local_iln_str_mv	100: DE-Ma9:
normlink	17409566X 698989813 134929152 2021.12.01
normlink_prefix_str_mv	(DE-588)17409566X (DE-627)698989813 (DE-576)134929152 2021.12.01
dewey-full	006.2/2
title_sort	principles of cyber-physical systems
title_auth	Principles of cyber-physical systems
abstract	Preface; 1 Introduction; 2 Synchronous Model; 3 Safety Requirements; 4 Asynchronous Model; 5 Liveness Requirements; 6 Dynamical Systems; 7 Timed Model; 8 Real-Time Scheduling; 9 Hybrid Systems; Bibliography; Index. A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems Includes bibliographical references and index
abstractGer	Preface; 1 Introduction; 2 Synchronous Model; 3 Safety Requirements; 4 Asynchronous Model; 5 Liveness Requirements; 6 Dynamical Systems; 7 Timed Model; 8 Real-Time Scheduling; 9 Hybrid Systems; Bibliography; Index. A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems Includes bibliographical references and index
abstract_unstemmed	Preface; 1 Introduction; 2 Synchronous Model; 3 Safety Requirements; 4 Asynchronous Model; 5 Liveness Requirements; 6 Dynamical Systems; 7 Timed Model; 8 Real-Time Scheduling; 9 Hybrid Systems; Bibliography; Index. A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems Includes bibliographical references and index
collection_details	ZDB-37-IEM GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_22_i22818 GBV_ILN_23 ISIL_DE-830 GBV_ILN_100 ISIL_DE-Ma9 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_2015 ISIL_DE-93
title_short	Principles of cyber-physical systems
url	https://ieeexplore.ieee.org/book/7109352
ausleihindikator_str_mv	22 23 100:- 370 2015:p
rolewithnormlink_str_mv	@@aut@@(DE-588)17409566X
remote_bool	true
GND_str_mv	Alur, R. Alur, Rajeev
GND_txt_mv	Alur, R. Alur, Rajeev
GND_txtF_mv	Alur, R. Alur, Rajeev
mediatype_str_mv	c
isOA_txt	false
hochschulschrift_bool	false
callnumber-a	eBook MIT Press
up_date	2024-07-04T18:34:29.713Z
_version_	1803674525069475840
fullrecord_marcxml	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000cam a2200265 4500</leader><controlfield tag="001">1689613084</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220729052945.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">200207s2015 xxu\|\|\|\|\|o 00\| \|\|eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262328453</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-262-32845-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262328456</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-262-32845-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262328461</subfield><subfield code="9">0-262-32846-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262328463</subfield><subfield code="9">978-0-262-32846-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780262029117</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0262029111</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)1689613084</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)KXP1689613084</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)911209976</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MITPRESS)7109352</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EBP)055122884</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">eng</subfield><subfield code="c">DE-627</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="c">XD-US</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.2/2</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Alur, Rajeev</subfield><subfield code="d">1966-</subfield><subfield code="e">verfasserin</subfield><subfield code="0">(DE-588)17409566X</subfield><subfield code="0">(DE-627)698989813</subfield><subfield code="0">(DE-576)134929152</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Principles of cyber-physical systems</subfield><subfield code="c">Rajeev Alur</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Massachusetts</subfield><subfield code="a">London, England</subfield><subfield code="b">The MIT Press</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xii, 446 Seiten)</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Preface; 1 Introduction; 2 Synchronous Model; 3 Safety Requirements; 4 Asynchronous Model; 5 Liveness Requirements; 6 Dynamical Systems; 7 Timed Model; 8 Real-Time Scheduling; 9 Hybrid Systems; Bibliography; Index.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Automatic control</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">System design</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Embedded Internet devices</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Internet of things</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Formal methods (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">COMPUTERS ; General</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">COMPUTERS ; Computer Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sensor</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Eingebettetes System</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Internet der Dinge</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systementwicklung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formale Methode</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematisches Modell</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Control automático</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sistemas empotrados</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic control</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Embedded Internet devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Internet of things</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Epitaxial layers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Excitons</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nitrogen</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Radiative recombination</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Silicon carbide</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Temperature measurement</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9780262029117</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780262029117</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ieeexplore.ieee.org/book/7109352</subfield><subfield code="m">X:MITPRESS</subfield><subfield code="x">Verlag</subfield><subfield code="z">lizenzpflichtig</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-37-IEM</subfield><subfield code="b">2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-18</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_KXP</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22_i22818</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_23</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-830</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_100</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Ma9</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_370</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-1373</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-93</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">BO</subfield></datafield><datafield tag="953" ind1=" " ind2=" "><subfield code="2">045F</subfield><subfield code="a">006.2/2</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="b">3848473208</subfield><subfield code="h">olrm-h228-MITIEEE</subfield><subfield code="y">zi22818</subfield><subfield code="z">03-02-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="b">3589452528</subfield><subfield code="h">olr-MIT</subfield><subfield code="u">i</subfield><subfield code="y">z</subfield><subfield code="z">07-02-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="b">1568910797</subfield><subfield code="c">09</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook MIT Press</subfield><subfield code="e">--%%--</subfield><subfield code="j">--%%--</subfield><subfield code="h">OLR-MIT-CEC</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="y">z</subfield><subfield code="z">21-09-15</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="b">4011220086</subfield><subfield code="h">olr-ebook mitieee</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="u">i</subfield><subfield code="y">z</subfield><subfield code="z">01-12-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2015</subfield><subfield code="1">01</subfield><subfield code="x">DE-93</subfield><subfield code="b">3740748230</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">p</subfield><subfield code="j">--%%--</subfield><subfield code="k">Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">18-08-20</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="y">Volltextzugang Campus</subfield><subfield code="r">https://ieeexplore.ieee.org/book/7109352</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="y">Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus</subfield><subfield code="r">http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/book/7109352</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="y">MIT Press EBook</subfield><subfield code="r">https://ieeexplore.ieee.org/book/7109352</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="r">http://ieeexplore.ieee.org/servlet/opac?bknumber=7109352</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="y">für Uniangehörige: Zugang weltweit</subfield><subfield code="r">http://HAN.MED.UNI-MAGDEBURG.DE/han/mitvia-ieee/ieeexplore.ieee.org/servlet/opac?bknumber=7109352</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="y">E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich</subfield><subfield code="r">https://ieeexplore.ieee.org/book/7109352</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2015</subfield><subfield code="1">01</subfield><subfield code="x">DE-93</subfield><subfield code="r">https://ieeexplore.ieee.org/book/7109352</subfield></datafield><datafield tag="983" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">00</subfield><subfield code="x">DE-Ma9</subfield><subfield code="8">00</subfield><subfield code="a">Y. 20</subfield></datafield><datafield tag="985" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="a">2018-01805, 2018-01806, 2018-01808</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="a">olrm-h228-MITIEEE</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="a">olr-MIT</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="a">OLR-MIT-CEC</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="a">ACQ</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="a">olr-ebook mitieee</subfield></datafield><datafield tag="998" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="0">2021.12.01</subfield></datafield></record></collection>
score	7.3984594

Nicht das Richtige dabei?

Schreiben Sie uns!

Principles of cyber-physical systems

Nicht das Richtige dabei?

Zugang & Verfügbarkeit

Vorhandene Bände

Nicht das Richtige dabei?