Online cursus – gecertificeerde professionele specialisatie in autonome Google-systemen, University of Colorado Boulder

Ontwerp autonome systemen met garantie. Verwerf de vaardigheden voor het modelleren, specificeren, verifiëren en synthetiseren van autonome systemen met gegarandeerde veiligheid.

Suggested by: Coursera (What is Coursera?)

Professional Certificate

Gemiddeld niveau

No prior knowledge required

Time to complete the course

7-day free trial

No unnecessary risks

Skills you will acquire in the course

  • Ontwerp en analyse van autonome systemen
  • Representaties van de staatsruimte
  • Automatische timers
  • Hybride automaten
  • Formele modellen van systeemvereisten
  • stabiliteit en haalbaarheid
  • Specificaties gedefinieerd door lineaire temporele logische formules
  • Verificatietechnieken zoals de stellingen van Lyuponov en modelcontrole
  • Synthese van controllers om gedefinieerde eigenschappen af ​​te dwingen
  • Het bouwen van een laatste abstractie en het verfijnen van controllers

What you will learn in the course

Courses for which the course is suitable

  • Autonome systeemingenieur
  • Softwareontwikkelaar op het gebied van autonome systemen
  • systeemanalist
  • Controller-ingenieur
  • Systeemverificatiespecialist
  • Onderzoeker op het gebied van autonome systemen
  • Slimme systeemontwerper
  • Communicatienetwerkingenieur in autonome systemen
  • Ontwikkelt algoritmen voor hybride automaten
  • Expert in stabiliteit en beschikbaarheid in autonome systemen

De specialisatie – een 3-delige reeks cursussen

Deze specialisatie biedt een uitgebreid overzicht van het ontwerp en de analyse van autonome systemen. Het begint met het onderzoeken van basiscomponenten zoals sensoren, actuatoren en communicatienetwerken, en gaat vervolgens dieper in op formele modellen.

Cursusinhoud

  • Representaties van de staatsruimte
  • Automatische timers
  • Hybride automaten
  • Formele modellen van systeemvereisten
  • stabiliteit en haalbaarheid
  • Specificaties gedefinieerd door lineaire temporele logische formules
  • Verificatietechnieken zoals de stellingen van Lyuponov en modelcontrole
  • Synthese van controllers om gedefinieerde eigenschappen af ​​te dwingen
  • Het bouwen van een laatste abstractie en het verfijnen van controllers

Meer informatie

Cursussen in deze specialisatie kunnen worden gevolgd voor academisch krediet als onderdeel van het CU Boulder Master of Science in Computer Science-programma dat wordt aangeboden op het Coursera-platform. Deze geavanceerde graden bieden gerichte cursussen, korte sessies van 8 weken en een pay-as-you-go-systeem.

Toelating tot het programma is gebaseerd op prestaties in drie basiscursussen en niet op basis van academische geschiedenis. CU-graden op Coursera zijn ideaal voor pas afgestudeerden of werkende professionals.

Voor meer details: Masterdiploma in computerwetenschappen

Een praktisch leerproject

Tijdens de stage zullen leerlingen taken uitvoeren om autonome systemen en hun gedrag te ontwerpen en analyseren. In de derde cursus specialisatie, verificatie en synthese van autonome systemen krijgen de leerlingen een optioneel onderzoekslaboratorium.

Details of the courses that make up the specialization

Modellen van autonome systemen

Cursus 1 – 8 uur

Wat je gaat leren:

  • Basismodellen van autonome systemen, waaronder lineaire besturingssystemen, seriële circuits en eenvoudige automaten.
  • oplossingen en gedrag van systemen beschrijven.
  • Definieer en illustreer de verbindingen tussen de systemen.

Vaardigheden die je verwerft:

  • Assembleren van systemen
  • Modellen van autonome systemen
  • gedrag van systemen

Cursus 2 – 10 uur

Wat je gaat leren:

  • Gebruik formele methoden om de vereisten voor autonome systemen te bepalen en te verifiëren.
  • Systeemgedrag modelleren en stabiliteit verifiëren met behulp van verschillende analytische methoden.
  • Pas de berekening van toegankelijkheidsgroepen en weerstandsanalyse toe in het systeemontwerp.

Vaardigheden die je verwerft:

  • Normale en reguliere omega-specificaties
  • Toegankelijkheidsvereisten
  • veiligheidseisen
  • Lineaire logische specificaties
  • stabiliteitseisen

Cursus 3 – 10 uur

Wat je gaat leren:

  • Analyseer de stabiliteitseigenschappen van lineaire systemen.
  • Bereken berekeningen van toegankelijkheidsgroepen voor verschillende soorten systemen.
  • Voer verificatie uit voor definitieve systemen.
  • Synthetiseer de controllerdynamiek voor veiligheids- en toegankelijkheidsvereisten met behulp van vastpuntalgoritmen.

Vaardigheden die je verwerft:

  • Modeltesten
  • Synthese van eindige vereenvoudigingen
  • Relaties tussen systemen
  • Synthese met behulp van vaste punten