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:
Touchless Target Selection Techniques for Wearable Augmented Reality Systems Kapitel lesen Erstes Kapitel lesen

2015 | OriginalPaper | Buchkapitel

Towards Formal Modelling of Autonomous Systems

verfasst von : Maria Spichkova, Milan Simic

Erschienen in: Intelligent Interactive Multimedia Systems and Services

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

Autonomous systems perform decision making without human intervention. They collect the data from the environment, process it to build the awareness and perform the actions. Consequently, the adaptivity functions can be seen as the core parts of these systems. In this paper we introduce a formal framework for modelling and analysis of autonomous systems and their compositions, especially focusing on the adaptivity modelling aspects and reasoning about adaptive behaviour.

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 Better Road Design for Autonomous Vehicles Using Clothoids
Nächstes Kapitel Developing a Navigation System for Mobile Robots
Fußnoten
1
We distinguish here the terms user (human being) and environment (environment exempt humans) to have a clear separation between autonomous and non-autonomous systems.
 
Literatur
1.
Bauer, V., Broy, M., Irlbeck, M., Leuxner, C., Spichkova, M., Dahlweid, M., Santen, T.: Survey of modeling and engineering aspects of self-adapting & self-optimizing systems. Technical Report TUM-I1324, TU München (2011)
2.
Blanchette, J.C., Böhme, S., Paulson, L.C.: Extending Sledgehammer with SMT solvers. In: Børner, N., Sofronie-Stokkermans, V.: Automated Deduction, vol. 6803, pp. 116–130. LNCS. Springer (2011)
3.
Bonczek, R.H., Holsapple, C.W., Whinston, A.B.: Foundations of Decision Support Systems. Academic Press, Oakland (1981)
4.
Broy, M., Leuxner, C., Sitou, W., Spanfelner, B., Winter, S.: Formalizing the notion of adaptive system behavior. In: Proceedings of the 2009 ACM Symposium on Applied Computing, pp. 1029–1033. ACM (2009)
5.
Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, New York (2001)
6.
Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J.: Software Engineering for Self-Adaptive Systems: A Research Roadmap. LNCS (2009)
7.
Elbanhawai, M., Simic, M.: Continuous-curvature bounded trajectory planning Uusing parametric splines. Frontiers in Artificial Intelligence and Applications (2014)
8.
Elbanhawai, M., Simic, M.: Examining the use of B-splines in parking assist systems. Applied Mechanics and Materials 490491, 1025–1029 (2014)
9.
Elbanhawai, M., Simic, M.: Randomised kinodynamic motion planning for an autonomous vehicle in semi-structured agricultural areas. Biosystems Engineering (2014)
10.
Elbanhawai, M., Simic, M.: Sampling-based robot motion planning: a review. IEEE Access 30(99), (2014)
11.
Elbanhawai, M., Simic, M., Jazar, R.N.: Continuous path smoothing for car-like robots using B-spline curves. J. Intell. Robotic Syste. 77, (2015)
12.
Elbanhawi, M., Simic, M.: Sampling-based robot motion planning: a review. IEEE Access 2, 56–77 (2014)CrossRef
13.
Feilkas, M., Hölzl, F., Pfaller, C., Rittmann, S., Schätz, B., Schwitzer, W., Sitou, W., Spichkova, M., Trachtenherz, D.: A refined top-down methodology for the development of automotive software systems - The Keyless Entry System Case Study. Technical Report TUM-I1103, TU München (2011)
14.
Fick, G., Sprague, R.H.: Decision Support Systems: Issues and Challenges. Pergamon Press, Oxford (1980)
15.
Kühnel, C., Spichkova, M.: Upcoming automotive standards for fault-tolerant communication: FlexRay and OSEKtime FTCom. In: Proceedings of EFTS (2006)
16.
Kühnel, C., Spichkova, M.: Fault-tolerant communication for distributed embedded systems. In: Software Engineering and Fault Tolerance, Series on Software Engineering and Knowledge Engineering (2007)
17.
Lu, K., Li, Q., Cheng, N.: An autonomous carrier landing system design and simulation for unmanned aerial vehicle. In: IEEE Chinese on Guidance, Navigation and Control Conference (CGNCC), pp. 1352–1356 (2014)
18.
Marakas, G.M.: Decision Support Systems, 2nd edn. Prentice-Hall, Upper Saddle River (2003)
19.
Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle/HOL—a proof assistant for higher-order logic, vol. 2283. LNCS, Springer (2002)
20.
Redmill, F., Rajan, J.: Human Factors in Safety-Critical Systems. Butterworth-Heinemann, Oxford (1997)
21.
Simic, M.: Vehicle and public safety through driver assistance applications. In: Proceedings of the 2nd International Conference Sustainable Automotive Technologies (ICSAT 2010), vol. 490491, pp. 281–288 (2010)
22.
Simic, M.N.: Vehicular ad hoc networks. In: 11th International Conference on Telecommunication in Modern Satellite, Cable and Broadcasting Services (TELSIKS), vol. 02, pp. 613–618 (2013)
23.
Spichkova, M.: FlexRay: verification of the FOCUS specification in Isabelle/HOL. A Case Study. Technical Report TUM-I0602, TU München (2006)
24.
Spichkova, M.: Specification and seamless verification of embedded real-time systems: FOCUS on Isabelle. PhD thesis, TU München (2007)
25.
Spichkova, M.: Focus on processes. Technical Report TUM-I1115, TU München (2011)
26.
Spichkova, M.: Human factors of formal methods. In: In IADIS Interfaces and Human Computer Interaction 2012, IHCI 2012 (2012)
27.
Spichkova, M.: Design of formal languages and interfaces: “Formal” does not mean “unreadable”. IGI Global (2013)
28.
Spichkova, M.: Stream processing components: Isabelle/HOL formalisation and case studies. Archive of Formal Proofs, 2013. Formal proof development
29.
Spichkova, M., Blech, J., Herrmann, P., Schmidt, H.: Modeling spatial aspects of safety-critical systems with focus ST. In: 11th Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa) (2014)
30.
Spichkova, M., Schmidt, H.: Towards logical architecture and formal analysis of dependencies between services. In: APSCC’14: Proceedings of the 2014 IEEE Asia-Pacific Services Computing Conference, CPS (2014)
31.
Spichkova, M., Zhu, X., Mou, D.: Do we really need to write documentation for a system? In: International Conference on Model-Driven Engineering and Software Development (MODELSWARD’13) (2013)
Metadaten
Titel
Towards Formal Modelling of Autonomous Systems
verfasst von
Maria Spichkova
Milan Simic
Copyright-Jahr
2015
Buch
Intelligent Interactive Multimedia Systems and Services

Print ISBN: 978-3-319-19829-3

Electronic ISBN: 978-3-319-19830-9

Copyright-Jahr: 2015

DOI
https://doi.org/10.1007/978-3-319-19830-9_25

Premium Partner

    Bildnachweise