✦ LIBER ✦

Theory of Extended Linear Machines

✍ Scribed by Paul, K.; Choudhury, D.R.; Chaudhuri, P.P.

Book ID: 118697625
Publisher: IEEE
Year: 2002
Tongue: English
Weight: 256 KB
Volume: 37
Category: Article
ISSN: 0018-9340
DOI: 10.1109/tc.2002.1032629

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Theory of linear recognition machines. I

✍ Yu. I. Petunin; G. A. Shul'deshov 📂 Article 📅 1981 🏛 Springer US 🌐 English ⚖ 611 KB

Theory of linear recognizing machines. I

Theory of linear recognizing machines. II

✍ Yu. I. Petunin; G. I. Shul'deshov 📂 Article 📅 1981 🏛 Springer US 🌐 English ⚖ 441 KB

Non-Linear Theory of Heteropolar Electri

Non-Linear Theory of Heteropolar Electrical Machines

✍ Ahamed, S. V.; Erdelyi, E. A.; Hopkins, R. E. 📂 Article 📅 1965 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 941 KB

A floquet theory of the linear synchrono

A floquet theory of the linear synchronous machine

✍ J.L. Stensby; C.W. Brice III; R.K. Cavin III 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 792 KB

## The differential equation describing the three-phase linear synchronous machine containing an arbitrary stator MMF distribution is reformulated and solved as a perturbation theory problem. The solution algorithm presented also produces a transformation capable of reducing to constant coeflcientfo

A Floquet theory of the general linear r

A Floquet theory of the general linear rotating machine

✍ Youla, D.; Bongiorno, J., Jr. 📂 Article 📅 1980 🏛 IEEE ⚖ 551 KB

Symbolic model checking of extended fini

Symbolic model checking of extended finite state machines with linear constraints over integer variables

✍ Takashi Takenaka; Kozo Okano; Teruo Higashino; Kenichi Taniguchi 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 338 KB

## Abstract We propose a symbolic model checking algorithm for a class of extended finite state machines equipped with integer variables (FSM/int). An FSM/int has several constraints on variable assignments, such as a variable of FSM/int keeps its value until the control visits at the definition tr