Courses » LsaLm1112

Laboratory of Systems and Applications (2011/2012)

Teachers

This course is meant to introduce the most advanced research issues in the areas of Informatics and ICT technologies. In this context, students are called to experiment by developing an individual project of their choice.

Calendar

  • Pervasive Service Ecosystems, Mirko Viroli (24/4/2012, h. 10-13, Room A3, via Rasi e Spinelli 176, Cesena)
    We present a research thread developed in Cesena and rooted on coordination and self-organisation for pervasive computing applications, aimed at developing nature-inspired computing systems for scenarios such as smartcities, intelligent environments, augmented social reality. After discussing the main technical aspects of this framework, we will present the key challenges that have to be tackled in the short and medium-term, along with the opportunities for students willing to contribute.
  • The Simulation Alchemy, Danilo Pianini (8/5/2012, h. 10-13, Room A3, via Rasi e Spinelli 176, Cesena)
    In this talk we present Alchemist, a simulator developed by our research group. Alchemist takes inspiration from the chemical simulators and the ABMs, trying to grab the best of both worlds in order to provide a blazing fast, reliable and extensible framework. We will have a flyby of the simulator features, and we will see how its model is able to embrace a wide range of applications, from the simulation of natural phenomena to the simulation of networks of tuple spaces. The final part of the talk will frame the next activities, offering a pool of opportunities to those interested in this research area.
  • Boolean network robotics, Andrea Roli (22/5/2012, h. 10-13, Room A3, via Rasi e Spinelli 176, Cesena)
    Dynamical systems theory and complexity science provide powerful tools for analysing artificial agents and robots. Furthermore, they have been recently proposed also as a source of design principles and guidelines. Boolean networks are a prominent example of complex dynamical systems and they have been shown to effectively capture important phenomena in gene regulation. From an engineering perspective, these models are very compelling, because they can exhibit rich and complex behaviours, in spite of the compactness of their description. Boolean network robotics concerns the use of Boolean networks, and other models from complex systems science, as robot programs. The network that controls the robot is designed by means of an automatic procedure based on stochastic local search techniques. In this talk, the main concepts of this recent research line will be presented and the latest results achieved will be illustrated.
  • Agent-Oriented Programming as a Paradigm for Developing Modern Software Systems, Andrea Santi (29/5/2012, ore 10-13, Aula A3, via Rasi e Spinelli 176, Cesena)
    The fundamental turn of software into concurrency and distribution is not only a matter of performance, but also of design and abstraction, calling for programming paradigms that would allow more naturally than the current ones to think, design, develop, execute, debug and profile programs exhibiting different degrees of concurrency, reactiveness, autonomy, decentralization of control, distribution. To this end, Agent-Oriented Programming can be framed conceptually as an evolution of OOP introducing a further level of agent-oriented abstractions inspired by human organizations.
In this seminar, after briefly introducing the main aspects that characterize agent-oriented programming as a programming paradigm, we describe some technologies that allow for exploring such a paradigm in practice: (1) the JaCa platform - integrating existing agent technologies, the Jason BDI agent programming language and the CArtAgO environment programming framework - which is suited for developing Multi-Agent Systems in particular for Distributed AI problems; (2) the simpAL language/platform - a new programming language which has been devised from scratch for exploring agent-oriented programming for software development. We will provide then an overview of the possible projects for this course that could be developed in the context of simpAL or JaCa.

Projects