Sökning: "incremental control"

Visar resultat 1 - 5 av 86 avhandlingar innehållade orden incremental control.

1. 1. Incremental and Hierarchical Deadlock-Free Control of Discrete Event Systems with Variables: A Symbolic and Inductive Approach

   Författare :Mohammad Reza Shoaei; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Discrete event systems; IC3; large-scale systems; model checking; incremental control; supervisory control; hierarchical control; maximal permissiveness;

   Sammanfattning : Today's industry trend towards agile product development cycles and the ambition to shorten the time-to-market, represents an extremely competitive marketplace. This has driven the industry to use very complex and highly flexible manufacturing systems. LÄS MER

3. 2. On Motion Control of Linear Incremental Hydraulic Actuators

   Författare :Martin Hochwallner; Petter Krus; Kalevi Huhtala; Linköpings universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Linear Incremental Hydraulic Actuator; novel actuator; linear hydraulic actuator; tracking problem; hydraulic servo system; digital fluid power;

   Sammanfattning : Linear Incremental Hydraulic Actuators combine one or more short-stroke cylinders, and two or more engaging/disengaging mechanisms into one actuator with long, medium, or even unlimited stroke length. The motion of each single short-stroke actuator concatenated by the engaging/disengaging mechanisms forms the motion of the linear incremental hydraulic actuator. LÄS MER

4. 3. INCREMENTAL FAULT DIAGNOSABILITY AND SECURITY/PRIVACY VERIFICATION

   Författare :Mona Noori-Hosseini; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Temporal logic; Anonymity; Opacity; Discrete event systems.; Automation; Formal verification; Fault diagnosability; Incremental abstraction;

   Sammanfattning : Dynamical systems can be classified into two groups. One group is continuoustime systems that describe the physical system behavior, and therefore are typically modeled by differential equations. The other group is discrete event systems (DES)s that represent the sequential and logical behavior of a system. LÄS MER

5. 4. On Distributed Optimization in Networked Systems

   Författare :Björn Johansson; Mikael Johansson; Asuman Ozdaglar; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; convex optimization; resource allocation; networked systems; peer-to-peer; distributed optimization; Telecommunication; Telekommunikation; Automatic control; Reglerteknik;

   Sammanfattning : Numerous control and decision problems in networked systems can be posed as optimization problems. Examples include the framework of network utility maximization for resource allocation in communication networks, multi-agent coordination in robotics, and collaborative estimation in wireless sensor networks (WSNs). LÄS MER

7. 5. Asynchronous Algorithms for Large-Scale Optimization : Analysis and Implementation

   Författare :Arda Aytekin; Mikael Johansson; Panagiotis K. Patrinos; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; convex optimization; optimization; asynchronous algorithms; algorithms; parallel algorithms; large-scale; big data; Electrical Engineering; Elektro- och systemteknik;

   Sammanfattning : This thesis proposes and analyzes several first-order methods for convex optimization, designed for parallel implementation in shared and distributed memory architectures. The theoretical focus is on designing algorithms that can run asynchronously, allowing computing nodes to execute their tasks with stale information without jeopardizing convergence to the optimal solution. LÄS MER