Search for dissertations about: "control synthesis"

Showing result 11 - 15 of 570 swedish dissertations containing the words control synthesis.

  2. 11. Task-oriented control and coordination of multi-agent systems under varying constraints

    Author : Pian Yu; Dimos V. Dimarogonas; Carlo Fischione; Christos Cassandras; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; multi-agent systems; uncertain systems; temporal logics; event-triggered control; control synthesis; conflict resolution; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Multi-agent systems (MAS) offer a tremendous potential to improve the quality of modern society life. For instance, robot networks have been widely used for providing services such as search and rescue missions, surveillance and data collection, healthcare and entertainment. READ MORE

  4. 12. Feeding Strategies Based on Probing Control for E. coli and V. cholerae Cultivations

    Author : Lena de Maré; Institutionen för reglerteknik; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; robotics; control engineering; Automatiska system; robotteknik; reglerteknik; Automation; Temperature; Mid-ranging control; Amino acid; Complex media; Fed-batch bioreactors; Probing control; Biotechnology; Bioteknik; Parameter estimation; Feeding strategies;

    Abstract : The recombinant DNA techniques have made it possible to produce many different proteins for a wide range of applications. The vector encoding for the recombinant protein is often inserted in the bacterium E. coli as it is a well studied and a well-known organism. To achieve a high productivity, it is important to reach a high cell density. READ MORE

  5. 13. Formal Methods and Safety for Automated Vehicles: Modeling, Abstractions, and Synthesis of Tactical Planners

    Author : Jonas Krook; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automated vehicles; Formal methods; formal synthesis; tactical planning; supervisory control theory; automatic abstraction.; safety case; model checking; formal verification; reactive synthesis;

    Abstract : One goal of developing automated road vehicles is to completely free people from driving tasks. Automated vehicles with no human driver must handle all traffic situations that human drivers are expected to handle, possibly more. READ MORE

  6. 14. Automatic Synthesis of Sequential Control Schemes

    Author : Inger Klein; Lennart Ljung; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : Of all hard- and software developed for industrial control purposes, the majority is devoted to sequential, or binary valued, control and only a minor part to classical linear control. Typically, the sequential parts of the controller are invoked during startup and shut-down to bring the system into its normal operating region and into some safe standby region, respectively. READ MORE

  7. 15. Distributed control of interconnected systems and its application in traffic control

    Author : Azita Dabiri; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Linear Matrix Inequality; Distributed control; Traffic flow modelling and control; Input saturation;

    Abstract : Over the past few decades, the need for mobility and road transportation has been significantly increased over the world. This turned as a dilemma in many metropolitan areas as traffic congestion costs energy and takes time of all individuals who live in big cities. READ MORE