Formal Methods for Discrete-Time Dynamical Systems Background

Date

2017-01-01

Author

Belta, Calin
Yordanov, Boyan
Aydın Göl, Ebru

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

109
views

0
downloads

Subject Keywords

Automation & control systems, Electrical & electronic, Engineering

URI

https://hdl.handle.net/11511/56710

Journal

FORMAL METHODS FOR DISCRETE-TIME DYNAMICAL SYSTEMS

DOI

https://doi.org/10.1007/978-3-319-50763-7

Collections

Department of Computer Engineering, Article

Suggestions

OpenMETU
Core

ATTITUDE CONTROL OF MULTIPLE RIGID BODY SPACECRAFT WITH FLEXIBLE HINGE JOINTS Akbulut, Burak; Özgören, Mustafa Kemal; Tekinalp, Ozan (2010-02-18) Control algorithm is developed for a satellite with flexible appendages to achieve a good pointing performance. Detailed modeling activity was carried out that consists of sensor and actuator models, disturbances and system dynamics. Common hardware found in the spacecraft such as reaction wheels, gyroscopes, star trackers etc. were included in the model. Furthermore, the Newton-Euler method is employed for the derivation of multi-body equations of motion. Proper metrics such as accuracy, jitter and stabili...
Modelling and control of a wind energy conversion system Sarıbatır, Behçet M.; Sezer, Mesut E. (Informa UK Limited, 1987-7) The dynamical model of a novel low power wind energy conversion system consisting of a wind turbine, an induction generator, a PWM a.c. inverter and a d.c. battery group is obtained. A feedback control law is developed to provide optimum power conversion and arbitrarily fast responses at steady-state. The feedback does not require measurement of the wind speed and therefore is suitable for real applications. The stability of the closed-loop system is analysed using a Liapunov-type practical stability criter...
Special issue - Mechatronics and machine vision in practice/mechatronic design and modelling Erden, A (2001-06-01)
RIGOROUS ANALYSIS OF FINITE RECTANGULAR ARRAYS WITH SIMULTANEOUS INTEGRAL-EQUATIONS YAVUZ, H; BUYUKDURA, OM (1993-07-02)
DESIGN METHOD FOR OPTIMAL DATA-TRANSMISSION FILTERS GOKCEK, C; UNVER, Z (Institution of Engineering and Technology (IET), 1990-03-15)

Citation Formats

C. Belta, B. Yordanov, and E. Aydın Göl, “Formal Methods for Discrete-Time Dynamical Systems Background,” FORMAL METHODS FOR DISCRETE-TIME DYNAMICAL SYSTEMS, pp. 257–271, 2017, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/56710.