Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
ATZ-Fachkongress

Chassis.tech plus 2024


4 Kongresse in einer Veranstaltung

Treffen Sie in München die Fachleute von Chassis, Lenkung, Bremsen sowie Reifen/Räder.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Compute Optimal Waiting Times for Collaborative Route Planning Kapitel lesen Erstes Kapitel lesen

2024 | OriginalPaper | Buchkapitel

Operational Modeling of Temporal Intervals for Intelligent Systems

verfasst von : J. I. Olszewska

Erschienen in: Robotics, Computer Vision and Intelligent Systems

Verlag: Springer Nature Switzerland

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Time is a crucial notion for intelligent systems, such as robotic systems, cognitive systems, multi-agent systems, cyber-physical systems, or auto-nomous systems, since it is inherent to any real-world process and/or environment. Hence, in this paper, we present operational temporal logic notations for modeling the time aspect of intelligent systems in terms of temporal interval concepts. Their application to intelligent systems’ application scenarios have demonstrated the usefulness and effectiveness of our developed approach.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel MDC-Net: Multimodal Detection and Captioning Network for Steel Surface Defects
Nächstes Kapitel A Meta-MDP Approach for Information Gathering Heterogeneous Multi-agent Systems
Literatur
1.
Al-Lail, M., Abdunabi, R., France, R.B., Ray, I.: An approach to analyzing temporal properties in UML class models. In: Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Workshop (MODELS), pp. 77–86 (2013)
2.
Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)CrossRef
3.
4.
Araiza-Illan, D., Fisher, M., Leahy, K., Olszewska, J.I., Redfield, S.: Verification of autonomous systems. IEEE Robot. Autom. Mag. 29(1), 2–3 (2022)CrossRef
5.
Arechiga, N.: Specifying safety of autonomous vehicles in signal temporal logic. In: Proceedings of the IEEE Intelligent Vehicles Symposium (IV), pp. 58–63 (2019)
6.
Artale, A., Franconi, E.: Temporal description logics. Handb. Time Temporal Reason. Artif. Intell. 1, 375–388 (2005)MathSciNetCrossRef
7.
Artale, A., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: Tractable interval temporal propositional and description logics. In: Proceedings of the AAAI Conference on Artificial Intelligence (AAAI) (2015)
8.
Bastos, R., Ruiz, D.: Extending UML activity diagram for workflow modeling in production systems. In: Proceedings of the IEEE Annual Hawaii International Conference on System Sciences, pp. 3786–3795 (2002)
9.
Batsakis, S., Petrakis, E., Tachmazidis, I., Antoniou, G.: Temporal representation and reasoning in OWL 2. Semant. Web J. 8(6), 1–20 (2016)
10.
Bayat, B., et al.: Requirements for building an ontology for autonomous robots. Ind. Robot. 43(5), 469–480 (2016)CrossRef
11.
Berardi, D., Calvanese, D., Giacomo, G.D.: Reasoning on UML class diagrams using description logic based systems. In: Proceedings of the KI Workshop on Applications of Description Logics, vol. 44 (2001)
12.
13.
Black, R., Davenport, J.H., Olszewska, J.I., Roessler, J., Smith, A.L., Wright, J.: Artificial Intelligence and Software Testing: Building Systems You Can Trust. BCS Press, London (2022)
14.
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Pearson, London (2005)
15.
16.
Cali, A., Calvanese, D., Giacomo, G.D., Lenzerini, M.: Reasoning on UML class diagrams in description logics. In: Proceedings of IJCAR Workshop on Precise Modelling and Deduction for Object-Oriented Software Development, pp. 77–86 (2001)
17.
Clarke, E.M., Wing, J.M.: Formal methods: state of the art and future directions. ACM Comput. Surv. 28(4), 626–643 (1996)CrossRef
18.
19.
Della Monica, D., Goranko, V., Montanari, A., Sciavicco, G.: Interval temporal logics: a journey. Bull. EATCS 3(105), 73–99 (2013)MathSciNet
20.
Dennis, L., Fisher, M.: Verifiable Autonomous Systems. Cambridge University Press, Cambridge (2023)
21.
Dreossi, T., et al.: Verifai: a toolkit for the formal design and analysis of artificial intelligence-based systems. In: Proceedings of the International Conference on Computer Aided Verification (CAV), pp. 432–442 (2019)
22.
Fiorini, S.R., et al.: A suite of ontologies for robotics and automation. IEEE Robot. Autom. Mag. 24(1), 8–11 (2017)
23.
Fisher, M.: An Introduction to Practical Formal Methods Using Temporal Logic. Wiley, Hoboken (2011)
24.
Fowler, M.: UML Distilled, 3rd edn. Addison-Wesley, USA (2004)
25.
Pignaton de Freitas, E., et al.: Ontological concepts for information sharing in cloud robotics. J. Ambient Intell. Humaniz. Comput. 14(5), 4921–4932 (2023)
26.
Ghosh, S., et al.: Diagnosis and repair for synthesis from signal temporal logic specifications. In: Proceedings of the ACM International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 31–40 (2016)
27.
Goranko, V.: Temporal Logics. Cambridge University Press, Cambridge (2023)
28.
Goranko, V., Montanari, A., Sciavicco, G.: Propositional interval neighborhood temporal logics. J. Univ. Comput. Sci. 9(9), 1137–1167 (2003)MathSciNet
29.
Hariri, B.B., Calvanese, D., Montali, M., Giacomo, G.D., Masellis, R.D., Felli, P.: Description logic knowledge and action bases. J. Artif. Intell. Res. 46, 651–686 (2013)MathSciNetCrossRef
30.
He, J., Bartocci, E., Nickovic, D., Isakovic, H., Grosu, R.: Deepstl - from English requirements to signal temporal logic. In: Proceedings of the IEEE/ACM International Conference on Software Engineering (ICSE), pp. 610–622 (2022)
31.
Hekmatnejad, M., et al.: Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. In: Proceedings of the ACM International Conference on Formal Methods and Models for System Design, pp. 1–11 (2019)
32.
Ho, Q.H., Ilyes, R.B., Sunberg, Z.N., Lahijanian, M.: Automaton-guided control synthesis for signal temporal logic specifications. In: Proceedings of the IEEE International Conference on Decision and Control (CDC), pp. 1–8 (2022)
33.
Houghtaling, M.A., et al.: Standardizing an ontology for ethically aligned robotic and autonomous systems. IEEE Trans. Syst. Man Cybern. Syst. 1–14 (2023)
34.
Hoxha, B., Fainekos, G.: Planning in dynamic environments through temporal logic monitoring. In: Proceedings of the AAAI International Conference on Artificial Intelligence Workshops (AAAI), pp. 601–607 (2016)
35.
Jha, S., Raman, V., Sadigh, D., Seshia, S.A.: Safe autonomy under perception uncertainty using chance-constrained temporal logic. J. Autom. Reason. 60(1), 43–62 (2018)MathSciNetCrossRef
36.
Kortenkamp, D., Simmons, R., Milam, T., Fernandez, J.L.: A suite of tools for debugging distributed autonomous systems. Form. Methods Syst. Des. 24(2), 157–188 (2004)CrossRef
37.
Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Syst. 2(4), 255–299 (1990)CrossRef
38.
Kvarnstrom, J., Heintz, F., Doherty, P.: A temporal logic-based planning and execution monitoring system. In: Proceedings of the AAAI International Conference on Automated Planning and Scheduling (ICAPS), pp. 198–205 (2008)
39.
de Leng, D., Heintz, F.: Approximate stream reasoning with metric temporal logic under uncertainty. In: Proceedings of the AAAI International Conference on Artificial Intelligence (AAAI), pp. 2760–2767 (2019)
40.
Lewandowski, R., Olszewska, J.I.: Automated task scheduling for automotive industry. In: Proceedings of the IEEE International Conference on Intelligent Engineering Systems, pp. 159–164 (2020)
41.
Li, T., et al.: STSL: a novel spatio-temporal specification language for cyber-physical systems. In: Proceedings of the IEEE International Conference on Software Quality, Reliability and Security (QRS), pp. 309–319 (2020)
42.
Liu, J., Prabhakar, P.: Switching control of dynamical systems from metric temporal logic specifications. In: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), pp. 5333–5338 (2014)
43.
Lunn, K.: Software Development with UML. Palgrave MacMillan, New York, USA (2003)CrossRef
44.
Lutz, C., Wolter, F., Zakharyashev, M.: Temporal description logics: a survey. In: Proceedings of the IEEE International Symposium on Temporal Representation and Reasoning, pp. 3–14 (2008)
45.
Maierhofer, S., Rettinger, A.K., Mayer, E.C., Althoff, M.: Formalization of interstate traffic rules in temporal logic. In: Proceedings of the IEEE Intelligent Vehicles Symposium (IV), pp. 752–759 (2020)
46.
Menghi, C., Nejati, S., Briand, L., Parache, Y.I.: Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification. In: Proceedings of the IEEE/ACM International Conference on Software Engineering (ICSE), pp. 372–384 (2020)
47.
Mijatov, S., Langer, P., Mayerhofer, T., Kappel, G.: A framework for testing UML activities based on fUML. In: Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pp. 1–10 (2013)
48.
Muniraj, D., Vamvoudakis, K.G., Farhood, M.: Enforcing signal temporal logic specifications in multi-agent adversarial environments: a deep q-learning approach. In: Proceedings of the IEEE International Conference on Decision and Control (CDC), pp. 4141–4146 (2018)
49.
Olivares-Alarcos, A., et al.: A review and comparison of ontology-based approaches to robot autonomy. Knowl. Eng. Rev. 34, 1–38 (2019)
50.
Olszewska, J.I.: UML activity diagrams for OWL ontology building. In: Proceedings of the International Conference on Knowledge Engineering and Ontology Development (KEOD), pp. 370–374 (2015)
51.
Olszewska, J.I.: Temporal interval modeling for UML activity diagrams. In: Proceedings of International Conference on Knowledge Engineering and Ontology Development (KEOD), pp. 566–569 (2016)
52.
Olszewska, J.I.: Designing transparent and autonomous intelligent vision systems. In: Proceedings of the International Conference on Agents and Artificial Intelligence (ICAART), pp. 850–856 (2019)
53.
Olszewska, J.I.: AI-T: Software testing ontology for AI-based systems. In: Proceedings of the International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (KEOD), pp. 291–298 (2020)
54.
Olszewska, J.I.: Formal approaches, ontologies, and standards for the verification of autonomous systems. In: IEEE International Conference on Robotics and Automation (ICRA) (2022)
55.
Olszewska, J.I.: Trustworthy intelligent systems: an ontological model. In: Proceedings of the International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (KEOD), pp. 207–214 (2022)
56.
Olszewska, J.I., Bermejo-Alonso, J., Sanz, R.: Special issue on ontologies and standards for intelligent systems. Knowl. Eng. Rev. 37, 1–4 (2022)CrossRef
57.
Olszewska, J.I., Simpson, R.M., McCluskey, T.L.: Dynamic OWL ontology design using UML and BPMN. In: Proceedings of the International Conference on Knowledge Engineering and Ontology Development (KEOD), pp. 436–444 (2014)
58.
Pant, Y.V., Quaye, R.A., Abbas, H., Varre, A., Mangharam, R.: Fly-by-logic: a tool for unmanned aircraft system fleet planning using temporal logic. In: Proceedings of the NASA Formal Methods Symposium, pp. 355–362 (2019)
59.
Prestes, E., et al.: IEEE P7007: the first global ontological standard for ethically driven robotics and automation systems. IEEE Robot. Autom. Mag. 28(4), 120–124 (2021)CrossRef
60.
Rajabli, N., Flammini, F., Nardone, R., Vittorini, V.: Software verification and validation of safe autonomous cars: a systematic literature review. IEEE Access 9, 4797–4819 (2021)CrossRef
61.
Riedmaier, S., Ponn, T., Ludwig, D., Schick, B., Diermeyer, F.: Survey on scenario-based safety assessment of automated vehicles. IEEE Access 8, 87456–87477 (2020)CrossRef
62.
Rodionova, A., Alvarez, I., Elli, M.S., Oboril, F., Quast, J., Mangharam, R.: How safe is safe enough? Automatic safety constraints boundary estimation for decision-making in automated vehicles. In: Proceedings of the IEEE Intelligent Vehicles Symposium (IV), pp. 1457–1464 (2020)
63.
Sampath Kumar, V.R., et al.: Ontologies for industry 4.0. Knowl. Eng. Rev. 34, 1–14 (2019)
64.
Slee, D., Cain, S., Vichare, P., Olszewska, J.I.: Smart lifts: an ontological perspective. In: Proceedings of the International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (KEOD), pp. 210–219 (2021)
65.
Thomas, U., Hirzinger, G., Rumpe, B., Schulze, C., Wortmann, A.: A new skill based robot programming language using UML/P statecharts. In: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), pp. 461–466 (2013)
66.
Xu, Z., Yazdani, K., Hale, M.T., Topcu, U.: Differentially private controller synthesis with metric temporal logic specifications. In: Proceedings of the IEEE American Control Conference (ACC), pp. 4745–4750 (2020)
67.
Zhu, Y., Al-Ahmed, S.A., Shakir, M.Z., Olszewska, J.I.: LSTM-based IoT enabled co2 steady state forecasting for indoor air quality monitoring. Electronics 12(1), 1–12 (2023)
Metadaten
Titel
Operational Modeling of Temporal Intervals for Intelligent Systems
verfasst von
J. I. Olszewska
Copyright-Jahr
2024
Buch
Robotics, Computer Vision and Intelligent Systems

Print ISBN: 978-3-031-59056-6

Electronic ISBN: 978-3-031-59057-3

Copyright-Jahr: 2024

DOI
https://doi.org/10.1007/978-3-031-59057-3_21

Premium Partner

    Bildnachweise