Imagen de Portada

Scheduling and Reconfiguration of Real-Time Systems A Supervisory Control Approach /

This book presents a methodology for the real-time scheduling problems of real-time systems (RTS) from the viewpoint of control theory. Generally, any system can be viewed as an RTS if it performs real-time application functions and behaves correctly depending on given logical activities and satisfy...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Wang, Xi (Autor), Li, ZhiWu (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico eBook
Lenguaje:	inglés
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2023.
Edición:	1st ed. 2023.
Materias:	Computers, Special purpose. Computer science. Control engineering. Special Purpose and Application-Based Systems. Theory of Computation. Control and Systems Theory.
Acceso en línea:	https://doi.org/10.1007/978-3-031-41969-0
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Analysis, Estimations, and Applications of Embedded Systems 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9–11, 2019, Revised Selected Papers /
Publicado: (2023)

Mobile Networks and Management 12th EAI International Conference, MONAMI 2022, Virtual Event, October 29-31, 2022, Proceedings /
Publicado: (2023)

Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications /
por: Buttazzo, Giorgio
Publicado: (2024)

Computing Technologies for Sustainable Development First International Research Conference, IRCCTSD 2024, Chennai, India, May 9–10, 2024, Proceedings, Part II /
Publicado: (2025)

Computing Technologies for Sustainable Development First International Research Conference, IRCCTSD 2024, Chennai, India, May 9–10, 2024, Proceedings, Part III /
Publicado: (2025)

Computing Technologies for Sustainable Development First International Research Conference, IRCCTSD 2024, Chennai, India, May 9–10, 2024, Proceedings, Part I /
Publicado: (2025)

Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3–4, 2022, Proceedings /
Publicado: (2023)

Shape in Medical Imaging International Workshop, ShapeMI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings /
Publicado: (2023)

Shape in Medical Imaging International Workshop, ShapeMI 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings /
Publicado: (2025)

Machine Learning, Deep Learning, and Blockchain Fourth International Research Conference, IRCICD 2023, Chennai, India, April 28–29, 2023, Proceedings /
Publicado: (2025)

Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI 27th International Workshop, COINE 2023, London, UK, May 29, 2023, Revised Selected Papers /
Publicado: (2023)

Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVII International Workshop, COINE 2024, Auckland, New Zealand, May 7, 2024, Revised Selected Papers /
Publicado: (2025)

Towards Autonomous Robotic Systems 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13–15, 2023, Proceedings /
Publicado: (2023)

Towards Autonomous Robotic Systems 25th Annual Conference, TAROS 2024, London, UK, August 21–23, 2024, Proceedings, Part I /
Publicado: (2025)

Towards Autonomous Robotic Systems 25th Annual Conference, TAROS 2024, London, UK, August 21–23, 2024, Proceedings, Part II /
Publicado: (2025)

Software Technologies 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11–13, 2022, Revised Selected Papers /
Publicado: (2023)

Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7–9, 2022, Proceedings /
Publicado: (2023)

Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13–15, 2024, Proceedings /
Publicado: (2025)

Smart Business Technologies 20th International Conference, ICSBT 2023, Rome, Italy, July 11–13, 2023, Revised Selected Papers /
Publicado: (2024)

Telecommunications and Remote Sensing 12th International Conference, ICTRS 2023, Rhodes, Greece, September 18-19, 2023, Proceedings /
Publicado: (2023)

Cognitive Computing and Cyber Physical Systems 5th EAI International Conference, IC4S 2024, Bhimavaram, India, April 5–7, 2024, Proceedings, Part-I /
Publicado: (2025)

Cognitive Computing and Cyber Physical Systems 4th EAI International Conference, IC4S 2023, Bhimavaram, Andhra Pradesh, India, August 4-6, 2023, Proceedings, Part II /
Publicado: (2024)

Cognitive Computing and Cyber Physical Systems 5th EAI International Conference, IC4S 2024, Bhimavaram, India, April 5–7, 2024, Proceedings, Part II /
Publicado: (2025)

Cognitive Computing and Cyber Physical Systems 5th EAI International Conference, IC4S 2024, Bhimavaram, India, April 5–7, 2024, Proceedings, Part III /
Publicado: (2025)

Advances in ICT Research in the Balkans 10th Balkan Conference in Informatics, BCI 2024, Craiova, Romania, September 4-6, 2024, Proceedings /
Publicado: (2025)

WiFi signal-based user authentication
por: Yu, Jiadi, et al.
Publicado: (2023)

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II /
Publicado: (2025)

Internet of Things Third International Conference, ICIoT 2022, Chennai, India, April 5–7, 2022, Revised Selected Papers /
Publicado: (2023)

Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings /
Publicado: (2025)

Dynamic Data Driven Applications Systems 4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6–10, 2022, Proceedings /
Publicado: (2024)

Ad Hoc Networks 14th EAI International Conference, AdHocNets 2023, Hanoi, Vietnam, November 10-11, 2023, Proceedings /
Publicado: (2024)

Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers /
Publicado: (2023)

Real-Time Simulation and Hardware-in-the-Loop Testing Using Typhoon HIL
Publicado: (2023)

South African Institute of Computer Scientists and Information Technologists 44th Annual Conference, SAICSIT 2023, Pretoria, South Africa, July 17–19, 2023, Revised Selected Papers /
Publicado: (2023)

Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
Publicado: (2023)

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II /
Publicado: (2024)

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I /
Publicado: (2024)

Cognitive Computing and Cyber Physical Systems 4th EAI International Conference, IC4S 2023, Bhimavaram, Andhra Pradesh, India, August 4-6, 2023, Proceedings, Part I /
Publicado: (2024)

Cognitive Computing and Cyber Physical Systems Third EAI International Conference, IC4S 2022, Virtual Event, November 26-27, 2022, Proceedings /
Publicado: (2023)

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV /
Publicado: (2025)