Generalized Lyapunov Methods for Interactive Systems in Biology

2020 ◽  
pp. 177-188
Author(s):  
W. E. Fitzgibbon ◽  
J. J. Morgan ◽  
S. J. Waggoner
Keyword(s):  
Interactive Systems ◽  
Lyapunov Methods

scholarly journals Tangibly understanding intangible complexities: Designing for distributed autonomous organizations

2019 ◽  
Vol 6 (1) ◽  
pp. 47-63 ◽  
Author(s):  
Bettina Nissen ◽  
Ella Tallyn ◽  
Kate Symons
Keyword(s):  
Distributed Systems ◽  
Interaction Design ◽  
Digital Technologies ◽  
Interactive Systems ◽  
Collaborative Practice ◽  
The Internet ◽  
The Face ◽  
Future Technologies ◽  
The Internet Of Things

Abstract New digital technologies such as Blockchain and smart contracting are rapidly changing the face of value exchange, and present new opportunities and challenges for designers. Designers and data specialists are at the forefront of exploring new ways of exchanging value, using Blockchain, cryptocurrencies, smart contracting and the direct exchanges between things made possible by the Internet of Things (Tallyn et al. 2018; Pschetz et al. 2019). For researchers and designers in areas of Human Computer Interaction (HCI) and Interaction Design to better understand and explore the implications of these emerging and future technologies as Distributed Autonomous Organisations (DAOs) we delivered a workshop at the ACM conference Designing Interactive Systems (DIS) in Edinburgh in 2017 (Nissen et al. 2017). The workshop aimed to use the lens of DAOs to introduce the principle that products and services may soon be owned and managed collectively and not by one person or authority, thus challenging traditional concepts of ownership and power. This workshop builds on established HCI research exploring the role of technology in financial interactions and designing for the rapidly changing world of technology and value exchange (Kaye et al. 2014; Malmborg et al. 2015; Millen et al. 2015; Vines et al. 2014). Beyond this, the HCI community has started to explore these technologies beyond issues of finance, money and collaborative practice, focusing on the implications of these emerging but rapidly ascending distributed systems in more applied contexts (Elsden et al. 2018a). By bringing together designers and researchers with different experiences and knowledge of distributed systems, the aim of this workshop was two-fold. First, to further understand, develop and critique these new forms of distributed power and ownership and second, to practically explore how to design interactive products and services that enable, challenge or disrupt existing and emerging models.

scholarly journals Balancing the formal and the informal in user-centred design

2021 ◽  
Author(s):  
Michael D Harrison ◽  
Paolo Masci ◽  
José Creissac Campos
Keyword(s):  
Formal Methods ◽  
Systematic Approach ◽  
Formal Analysis ◽  
Interactive Systems ◽  
User Evaluation ◽  
Analysis Techniques ◽  
User Centred Design ◽  
Early Design Stages ◽  
Cooperative Evaluation

Abstract This paper explores the role of formal methods as part of the user-centred design of interactive systems. An iterative process is described, developing prototypes incrementally, proving user-centred requirements while at the same time evaluating the prototypes that are executable forms of the developed models using ‘traditional’ techniques for user evaluation. A formal analysis complements user evaluations. This approach enriches user-centred design that typically focuses understanding on context and producing sketch designs. These sketches are often non-functional (e.g. paper) prototypes. They provide a means of exploring candidate design possibilities using techniques such as cooperative evaluation. This paper describes a further step in the process using formal analysis techniques. The use of formal methods provides a systematic approach to checking plausibility and consistency during early design stages, while at the same time enabling the generation of executable prototypes. The technique is illustrated through an example based on a pill dispenser.

Sign in / Sign up

Export Citation Format

Share Document