Towards Automated System Synthesis Using SCIDUCTION - Brossura

Jha, Susmit

Brossura

ISBN 10: 3838310683 ISBN 13: 9783838310688

Casa editrice: LAP LAMBERT Academic Publishing, 2012

Riassunto

Automated synthesis of systems that are correct by construction has been a long-standing goal of computer science. Synthesis is a creative task and requires human intuition and skill. Its complete automation is currently beyond the capacity of programs that do automated reasoning. However, there is a pressing need for tools and techniques that can automate non-intuitive and error-prone synthesis tasks. This thesis proposes a novel synthesis approach to solve such tasks in the synthesis of programs as well as the synthesis of switching logic for cyber-physical systems. The common underlying theme of the proposed synthesis techniques is a novel combination of deductive reasoning, inductive reasoning and structure hypotheses on the system under synthesis. We call this reasoning technique SCIDUCTION that stands for ‘Structurally Constrained Induction and Deduction’. SCIDUCTION constrains inductive and deductive reasoning using structure hypotheses, and actively combines inductive and deductive reasoning: for instance, deductive techniques generate examples for learning, and inductive techniques generate generalizations as candidate designs to be proved or disproved by deduction.

Su questo libro

L'autore

Susmit Jha graduated from University of California, Berkeley with a Ph.D. and M.S. in Computer Science. He was also recipient of Leon Chua Award, 2011 from Department of EECS at Berkeley. He did his undergraduate in computer science and engineering from Indian Institute of Technology (IIT), Kharagpur. He is currently a Research Scientist at Intel.

Dettagli dell'edizione

• Editore: LAP LAMBERT Academic Publishing
• Data di pubblicazione: 2012
• Lingua: Inglese
• ISBN 10: 3838310683
• ISBN 13: 9783838310688
• Rilegatura: Copertina flessibile
• Numero di pagine: 224
• Contatto del produttore: non disponibile
• Persona responsabile: KreGa Onlinehandel GmbH; 4950000000000; info@krega-onlinehandel.de; ; Birkenweg 31; Brakel; 33034; Germania