Foundations of Autonomous Systems
$49
ENROLL NOWCourse Overview
What You'll Learn
- This specialization provides a comprehensive overview of designing and analyzing autonomous systems.
- It begins with an examination of fundamental components like sensors, actuators, and communication networks, then delves into formal modeling frameworks such as state-space representations, timed automata, and hybrid automata.
- Then formal modeling of system requirements, including stability, reachability, and specifications framed by linear temporal logic formulas is discussed.
This specialization provides a comprehensive overview of designing and analyzing autonomous systems. It begins with an examination of fundamental components like sensors, actuators, and communication networks, then delves into formal modeling frameworks such as state-space representations, timed automata, and hybrid automata. Then formal modeling of system requirements, including stability, reachability, and specifications framed by linear temporal logic formulas is discussed. Verification techniques such as Lyapunov theories and model checking are explored, followed by a segment on synthesizing controllers to enforce specified properties, employing techniques like finite abstraction construction and controller refinement. Courses in this specialization can be taken for academic credit as part of CU Boulder’s MS in Computer Science degrees offered on the Coursera platform. These fully accredited graduate degrees offer targeted courses, short 8-week sessions, and pay-as-you-go tuition. Admission is based on performance in three preliminary courses, not academic history. CU degrees on Coursera are ideal for recent graduates or working professionals. Learn more: MS in Computer Science: https://coursera.org/degrees/ms-computer-science-boulder
Course FAQs
Is this an accredited online course?
Accreditation for 'Foundations of Autonomous Systems' is determined by the provider, University of Colorado Boulder. For online college courses or degree programs, we strongly recommend you verify the accreditation status directly on the provider's website to ensure it meets your requirements.
Can this course be used for continuing education credits?
Many of the courses listed on our platform are suitable for professional continuing education. However, acceptance for credit varies by state and licensing board. Please confirm with your board and {course.provider} that this specific course qualifies.
How do I enroll in this online school program?
To enroll, click the 'ENROLL NOW' button on this page. You will be taken to the official page for 'Foundations of Autonomous Systems' on the University of Colorado Boulder online class platform, where you can complete your registration.
