Anna Lombardi

Anna Lombardi
Linköping University | LiU · Department of Science and Technology (ITN)

About

10
Publications
336
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
10
Citations

Publications

Publications (10)
Conference Paper
Full-text available
We present an approach to model supervisory control systems based on extended behaviour networks. In particular, we employ them to formalize the control theory of the supervisor. By separating the reasoning in the supervisor and the action implementation in the controller, the overall system architecture becomes modular, and therefore easily change...
Conference Paper
Full-text available
The paper presents the use of Evolving Logic Programming to model adaptive controllers. The advantage of using well-defined, self-evolving logic-based controllers is that it is possible to model dynamic environments, and to formally prove systems' requirements.
Conference Paper
As the computer game market is expanding, the demand for qualified programmers is increasing. Therefore more and more universities invest in education in this field, giving the students a broad knowledge in programming and graphics. What the students often miss is a competence in physical modelling that makes the simulation of the system close to r...
Conference Paper
Full-text available
We present an approach to model adaptive, dynamic hybrid control systems based on behaviour networks. We extend and modify the approach to behaviour networks with integrity constraints, non-ground rules, internal actions, and modules to make it self-adaptive and dynamic. The proposed approach is general, reconfigurable, robust, and suitable for env...
Conference Paper
Full-text available
We present an approach to model supervisory control systems based on extended behaviour networks. In particular, we employ them to formalize the control theory of the supervisor. By separating the reasoning in the supervisor and the action implementation in the controller, the overall system architecture becomes modular, and therefore easily change...
Article
Full-text available
We present two different approaches to model the behaviour of a simple virtual animat. In particular, we consider an artificial fish moving in a physical environment with the aim of reaching food while attempting to escape dangers. A general structure of the control system is formulated where the stimuli of hunger and fear acting on the fish are co...