Sensor/Actuator Abstractions for Symbolic Embedded Control Design
نویسنده
چکیده
In this paper we consider the problem of developing sensor/actuator abstractions for embedded control design. These abstractions take the form of inequalities relating sensor/actuator characteristics with the continuous dynamics’ output. When satisfied, they allow to decouple control design from the choice of sensor/actuators, thus simplifying control design while ensuring implementability.
منابع مشابه
PESSOA: towards the automatic synthesis of correct-by-design control software
In this paper we report on ongoing work aimed at providing tools for the synthesis of correct-by-design embedded control software. We introduce a tool, named Pessoa, that: 1) constructs finite abstractions of control systems; 2) synthesizes controllers based on the finite abstractions; 3) refines the controllers to Simulink blocks for closed-loop simulation. In addition to describing the main f...
متن کاملIntegrated Symbolic Control Design for Nonlinear Systems with Infinite States Specifications
Discrete abstractions of continuous and hybrid systems have recently been the topic of great interest from both the control systems and the computer science communities, because they provide a sound mathematical framework for analysing and controlling embedded systems. In this paper we give a further contribution to this research line, by addressing the problem of symbolic control design of non...
متن کاملDemo Abstract: Embedded Virtual Machines for Wiress Industrial Automation
The factory of the future is the Wireless Factory fully programmable, nimble and adaptive to planned mode changes and unplanned faults. Today automotive assembly lines loose over $22,000 per minute of downtime. The systems are rigid, difficult to maintain, operate and diagnose. Our goal is to demonstrate the initial architecture and protocols for all-wireless factory control automation. Embedde...
متن کاملEmbedded Virtual Machines for Wireless Industrial Automation (Demo)
The factory of the future is the Wireless Factory fully programmable, nimble and adaptive to planned mode changes and unplanned faults. Today automotive assembly lines loose over $22,000 per minute of downtime. The systems are rigid, difficult to maintain, operate and diagnose. Our goal is to demonstrate the initial architecture and protocols for all-wireless factory control automation. Embedde...
متن کاملA Simple Approach for Determination of Actuator and Sensor Locations in Smart Structures Subjected To the Dynamic Loads
The present work demonstrates the successful application of a simple active vibration control procedure based on structural dynamics. Based on mathematical and structural dynamics’ theories, the appropriate locations of sensor and actuator locations of the smart structure are predicted. Also, the optimum value of actuator force which controls the structural vibrations as quickly as it is possib...
متن کامل