Hopp til innhold
Hopp til lokal navigasjon
Hopp til global navigasjon
Norges teknisk-naturvitenskapelige universitet
NTNU Norsk
NTNU English
Bibliotek
Alumni
Intranett
Søk i NTNUs nettsider
Søk etter:
Startside
Studier
Student i Trondheim
Forskning
Etter- og videreutdanning
Næringsliv og nyskaping
Om NTNU
Aktuelt
NTNU
»
Om NTNU
»
Fakulteter og institutter
»
IE-fakultetet
»
Institutt for Teknisk Kybernetikk
»
emner
»
Fordypning høsten 2024
»
TTK3 - An introduction to formal verification
Indeks
Dette er en fortegnelse over alle tilgjengelige sider, sortert etter
navnerom
.
ansatte
cics
emner
fordypning
oppgaveforslag
Sensur av fordypningsprosjekt og fordypningsemnet
Tema 2024
TTK1 Innovasjon: Systemutvikling fra idé til produkt
TTK2 Pålitelighetsanalyse av sikkerhetsfunksjoner
TTK3 - An introduction to formal verification
TTK4 Unmanned Aerial Vehicles
TTK5 Satellite and Inertial Navigation Systems
TTK6 Robotics:
TTK7 Adaptive Data Analysis: Theory and Applications
TTK8 Konstruksjon av innebygde systemer
TTK14 Kybernetiske metoder i fiskeri og havbruk
TTK15 Oseanografisk instrumentering og biotelemetri
TTK16 Mixed integer optimization in energy and oil and gas systems
TTK17 Havdynamikk og havmodellering
TTK18 Optimaliseringsbasert reguleringsdesign og analyse
TTK19 Strukturer og sammenhenger i komplekse systemer
TTK20 Hyperspectral remote sensing
TTK21 Introduction to Visual Simultaneous Localization and Mapping - VSLAM
TTK22 Cyber Physical Networked Vehicle Systems: Models, Algorithms, and Software Frameworks
TTK23 Introduction to Autonomous Robotics Systems for Industry 4.0
TTK24 Control of Marine Power Conversion Systems
TTK25 Computer Vision for Control
TTK26 Biomedisinsk instrumentering og regulering
TTK27 Dynamics of money circulation, money creation and debt
TTK28 Modeling with neural networks
TTK29 Hybrid Analysis and Modelling for Digital Twin
TTK30 Menneske-maskin/autonomi interaksjon i kyber-fysiske systemer
TTK31 Design of Experiments (DoE), metamodeling and Quality by Design (QbD)
Autonome systemer: Systemanalyse for sikkerhet
TTK33 Aerial Robotic Autonomy: Methods and Systems
TTK34 Designing Cyber-Human Systems, Trust & Safety
TTK35 Satellite Systems Engineering
TTK36 Satellittkommunikasjon
Valg av fordypning og søknad om arbeidsplass
tk8102
tk8103
ttk4150
Fordypning høsten 2024
TTK4900 Teknisk kybernetikk, masteroppgave - våren 2024
Sensur av masteroppgaver ved ITK
tk8102
TK8103 Advanced Nonlinear Systems
TK8111 Topics in Systems and Control Theory
TK8115 Numerical Optimal Control
TTK4135 Optimization and Control
TTK4150 Nonlinear Control Systems
TTK4175 Instrumenteringssystemer og sikkerhet
en
english
fag
folk
forskning
hovedprofil
hovedside
itdrift
om
playground
ressurser
studieinformasjon
test
utdanning
wiki
Vision SUP CICS
emner
english
folk
Nettsiden er flyttet
NøkkelInformasjon ang IT ved Instituttet:
kontakt
Leiested ved Institutt for teknisk kybernetikk
Institutt for teknisk kybernetikk
om
Elektro- og mekanisk verksted informerer
studieinformasjon
test
utdanning
Institutt for teknisk kybernetikk
Startsiden
Studier
Forskning
Ansatte
Kontakt
Ledige stillinger
Kybernetikken i media
Om instituttet
Ledelse
Historie
2018/04/26 11:16, sverrehe
Powered by
DokuWiki
+
NTNU template
and
jQuery
"Fugue" icon set by
Yusuke Kamiyamane
,
CC-BY 3.0
Logg inn