Sökning: "observers"
Visar resultat 6 - 10 av
185 avhandlingar innehållade ordet observers.
-
Författare :David A. Anisi; Xiaoming Hu; Randal Beard; KTH; []
Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Surveillance Missions; Minimum-Time Surveillance; Unmanned Ground Vehicles; Connectivity Constraints; Combinatorial Optimization; Computational Optimal Control; Receding Horizon Control; Mission Uncertainty; Safety; Task Completion; Adaptive Grid Methods; Missile Guidance; Nonlinear Observer Design; Active Observers; Non--uniformly Observable Systems; Mobile Robotic Systems; Intrinsic Observers; Differential Geometric Methods; Euler-Lagrange Systems; Contraction Analysis.; Optimization; systems theory; Optimeringslära; systemteori; Applied mathematics; Tillämpad matematik;
Sammanfattning :
The main body of this thesis consists of six appended papers. In the first two, different cooperative surveillance problems are considered. The second two consider different aspects of the trajectory planning problem, while the last two deal with observer design for mobile robotic and Euler-Lagrange systems respectively. LÄS MER
-
-
Författare :Stavros Aronis; Konstantinos Sagonas; Bengt Jonsson; Patrice Godefroid; Uppsala universitet; []
Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Concurrent; Parallel; Model Checking; Partial Order Reduction; Dynamic Partial Order Reduction; DPOR; Sleep Set Blocking; Source Sets; Source DPOR; Wakeup Trees; Optimal DPOR; Observers; Verification; Bounding; Exploration Tree Bounding; Testing; Erlang; Concuerror; Protocol; Chain Replication; CORFU; Computer Science; Datavetenskap;
Sammanfattning :
Stateless model checking is a technique for testing and verifying concurrent programs, based on exploring the different ways in which operations executed by the processes of a concurrent program can be scheduled. The goal of the technique is to expose all behaviours that can be a result of scheduling non-determinism. LÄS MER
-
Författare :Andreas Nordang Uhre; Jonas Tallberg; Andreas Duit; Jan Beyers; Stockholms universitet; []
Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Global environmental governance; interest groups; non-state participation; transnational actors; transdemos; transaccess; unfccc; cbd; population ecology; observers; climate change; biological diversity; Political Science; statsvetenskap;
Sammanfattning :
The formal access of transnational actors (TNA) to international organizations (IO) has increased steadily over the past five decades, and a growing body of literature is at the moment concerned with the theoretical and normative implications of these developments. However, very little is known as of yet about who the TNAs in global governance are, where they come from, which issue areas they focus on, and when and where they choose to participate. LÄS MER
-
Författare :Carl Wilhelmsson; Förbränningsmotorer; []
Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; systems analysis; FPGA; Field Programmable Gate Array; programming; Compendex: Field programmable gate arrays FPGA ; programming environments; computer science; programmable controllers; observers; adaptive control; modelling; closed loop systems; logic CAD; control systems; reconfigurable architectures; field programmable gate arrays; Computer Programming; telecommunication control; Control system applications; Real time control; Computer control systems; Control systems; Engine Control; Heat release analysis; Cylinder pressure; power-train control; Vehicle control; High speed; Rapid Prototyping; Combustion control; Automotive control; Control application; High frequency; Computer control; Feedback Control; Closed loop systems; Control; Reconfigurable computing; Reconfigurable hardware; VLSI; Closed loop control; programmable logic arrays; Automatic Control; System on Chip SoC ;
Sammanfattning :
New combustion engine principles increase the demands on feedback combustion control, at the same time economical considerations currently enforce the usage of low-end control hardware limiting implementation possibilities. Significant development is simultaneously and continuously carried out within the field of Field Programmable Gate Arrays (FPGAs). LÄS MER
-
-
Författare :Sara Landström; Göteborgs universitet; []
Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Presentation Mode; Deception Detection; Video vs. Live Observers;
Sammanfattning :
This thesis examines how different presentation modes (live vs. video) affect observers’ perception, veracity assessment and memory of adult (Study Ι) and child witnesses (Study ΙΙ). LÄS MER
-