Simplexity: A Hybrid Framework for Managing System Complexity

Author(s):  
Michael Reiss



Author(s):  
Sergey Ostroumov ◽  
Elena Troubitsyna ◽  
Linas Laibinis ◽  
Vyacheslav Kharchenko

In this chapter, we propose a formal approach to designing FPGA-based systems. In particular, we introduce a general pattern for specifying synchronous systems and components as well as their typical interconnections. The proposed methodology for developing FPGA-based systems is based on the notion of refinement in the Event-B formalism. System development by refinement and proof-based verification provide the designers with powerful techniques for managing system complexity and achieving higher degree of system dependability. We aim at enabling a smooth transition from a formal Event-B specification to an implementable VHDL system representation. The proposed approach is illustrated by a case study – a development of an aircraft anti-icing system.



2021 ◽  
Author(s):  
Atila Ertas ◽  
Utku Gulbulak




Entropy ◽  
2021 ◽  
Vol 23 (8) ◽  
pp. 955
Author(s):  
Jaël Pauwels ◽  
Guy Van der Sande ◽  
Guy Verschaffelt ◽  
Serge Massar

We present a method to improve the performance of a reservoir computer by keeping the reservoir fixed and increasing the number of output neurons. The additional neurons are nonlinear functions, typically chosen randomly, of the reservoir neurons. We demonstrate the interest of this expanded output layer on an experimental opto-electronic system subject to slow parameter drift which results in loss of performance. We can partially recover the lost performance by using the output layer expansion. The proposed scheme allows for a trade-off between performance gains and system complexity.



2021 ◽  
Vol 1767 (1) ◽  
pp. 012016
Author(s):  
K Kanagaraj ◽  
S Geetha


Sign in / Sign up

Export Citation Format

Share Document