Computability and stability for hybrid algorithms

Nachum Dershowitz; Zvi Retchkiman Königsberg

doi:10.1007/978-3-030-26369-0_37

Computability and stability for hybrid algorithms

Nachum Dershowitz, Zvi Retchkiman Königsberg^*

^*Corresponding author for this work

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Church’s Thesis for discrete algorithms motivates an analogous thesis for dealing with analog algorithms. Specifically, the notions of analog algorithm and dynamical system are postulated to be equivalent. Stability for hybrid algorithms is addressed by considering Lyapunov energy functions for analog algorithms with continuous and discontinuous states.

Original language	English
Title of host publication	Advances in Swarm Intelligence - 10th International Conference, ICSI 2019, Proceedings
Editors	Ying Tan, Yuhui Shi, Ben Niu
Publisher	Springer Verlag
Pages	395-401
Number of pages	7
ISBN (Print)	9783030263683
DOIs	https://doi.org/10.1007/978-3-030-26369-0_37
State	Published - 2019
Event	10th International Conference on Swarm Intelligence, ICSI 2019 - Chiang Mai, Thailand Duration: 26 Jul 2019 → 30 Jul 2019

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11655 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	10th International Conference on Swarm Intelligence, ICSI 2019
Country/Territory	Thailand
City	Chiang Mai
Period	26/07/19 → 30/07/19

Keywords

Analog algorithms
Church’s Thesis
Dynamical systems
Hybrid systems
Lyapunov functions
Stability

Access to Document

10.1007/978-3-030-26369-0_37

Cite this

Dershowitz, N., & Retchkiman Königsberg, Z. (2019). Computability and stability for hybrid algorithms. In Y. Tan, Y. Shi, & B. Niu (Eds.), Advances in Swarm Intelligence - 10th International Conference, ICSI 2019, Proceedings (pp. 395-401). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11655 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-030-26369-0_37

Dershowitz, Nachum ; Retchkiman Königsberg, Zvi. / Computability and stability for hybrid algorithms. Advances in Swarm Intelligence - 10th International Conference, ICSI 2019, Proceedings. editor / Ying Tan ; Yuhui Shi ; Ben Niu. Springer Verlag, 2019. pp. 395-401 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{877bb4dc033d440fb3f23ee5a97d02b2,

title = "Computability and stability for hybrid algorithms",

abstract = "Church{\textquoteright}s Thesis for discrete algorithms motivates an analogous thesis for dealing with analog algorithms. Specifically, the notions of analog algorithm and dynamical system are postulated to be equivalent. Stability for hybrid algorithms is addressed by considering Lyapunov energy functions for analog algorithms with continuous and discontinuous states.",

keywords = "Analog algorithms, Church{\textquoteright}s Thesis, Dynamical systems, Hybrid systems, Lyapunov functions, Stability",

author = "Nachum Dershowitz and {Retchkiman K{\"o}nigsberg}, Zvi",

note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2019.; 10th International Conference on Swarm Intelligence, ICSI 2019 ; Conference date: 26-07-2019 Through 30-07-2019",

year = "2019",

doi = "10.1007/978-3-030-26369-0_37",

language = "אנגלית",

isbn = "9783030263683",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "395--401",

editor = "Ying Tan and Yuhui Shi and Ben Niu",

booktitle = "Advances in Swarm Intelligence - 10th International Conference, ICSI 2019, Proceedings",

}

Dershowitz, N & Retchkiman Königsberg, Z 2019, Computability and stability for hybrid algorithms. in Y Tan, Y Shi & B Niu (eds), Advances in Swarm Intelligence - 10th International Conference, ICSI 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11655 LNCS, Springer Verlag, pp. 395-401, 10th International Conference on Swarm Intelligence, ICSI 2019, Chiang Mai, Thailand, 26/07/19. https://doi.org/10.1007/978-3-030-26369-0_37

Computability and stability for hybrid algorithms. / Dershowitz, Nachum; Retchkiman Königsberg, Zvi.
Advances in Swarm Intelligence - 10th International Conference, ICSI 2019, Proceedings. ed. / Ying Tan; Yuhui Shi; Ben Niu. Springer Verlag, 2019. p. 395-401 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11655 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Computability and stability for hybrid algorithms

AU - Dershowitz, Nachum

AU - Retchkiman Königsberg, Zvi

N1 - Publisher Copyright: © Springer Nature Switzerland AG 2019.

PY - 2019

Y1 - 2019

N2 - Church’s Thesis for discrete algorithms motivates an analogous thesis for dealing with analog algorithms. Specifically, the notions of analog algorithm and dynamical system are postulated to be equivalent. Stability for hybrid algorithms is addressed by considering Lyapunov energy functions for analog algorithms with continuous and discontinuous states.

AB - Church’s Thesis for discrete algorithms motivates an analogous thesis for dealing with analog algorithms. Specifically, the notions of analog algorithm and dynamical system are postulated to be equivalent. Stability for hybrid algorithms is addressed by considering Lyapunov energy functions for analog algorithms with continuous and discontinuous states.

KW - Analog algorithms

KW - Church’s Thesis

KW - Dynamical systems

KW - Hybrid systems

KW - Lyapunov functions

KW - Stability

UR - http://www.scopus.com/inward/record.url?scp=85073894676&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-26369-0_37

DO - 10.1007/978-3-030-26369-0_37

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:85073894676

SN - 9783030263683

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 395

EP - 401

BT - Advances in Swarm Intelligence - 10th International Conference, ICSI 2019, Proceedings

A2 - Tan, Ying

A2 - Shi, Yuhui

A2 - Niu, Ben

PB - Springer Verlag

T2 - 10th International Conference on Swarm Intelligence, ICSI 2019

Y2 - 26 July 2019 through 30 July 2019

ER -

Dershowitz N, Retchkiman Königsberg Z. Computability and stability for hybrid algorithms. In Tan Y, Shi Y, Niu B, editors, Advances in Swarm Intelligence - 10th International Conference, ICSI 2019, Proceedings. Springer Verlag. 2019. p. 395-401. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-26369-0_37

Computability and stability for hybrid algorithms

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this