Model Abstraction in Dynamical Systems : Application to Mobile Robot Control
The subject of this book is model abstraction of dynamical systems. The p- mary goal of the work embodied in this book is to design a controller for the mobile robotic car using abstraction. Abstraction provides a means to rep- sent the dynamics of a system using a simpler model while retaining important characteristics of the original system. A second goal of this work is to study the propagation of uncertain initial conditions in the framework of abstraction. The summation of this work is presented in this book.
Ethical Traceability and Communicating Food
This book draws on philosophical discourses (like ethics, political philosophy and philosophy of law) around food ethics and empirical research in three important food chains (UK bread, Danish bacon and Greek olive oil) to argue that ethical traceability systems could be used to communicate food information to consumers, allowing them not only to make food choices consistent with their own values, but also to play a more informed role in the way food is produced and distributed.
Early Aspects: Current Challenges and Future Directions ; 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers
Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: aspects are identified and captured mainly in code. Therefore, most current AOSD approaches place the burden for aspect identification and management on the programmer working at low levels of abstraction. However, aspects are often present well before the implementation phase, such as in domain models, requirements and software architecture. Identification and capture of these early aspects ensure that aspects related to the problem domain (as opposed to merely the implementation) will be appropriately captured, reasoned about and available. This offers improved opportunities for early recognition and negotiation of trade-offs and allows forward and backward aspect traceability. This makes requirements, architecture, and implementation more seamless, and allows a more systematic application of aspects.


