Definability and Decision Problems in Arithmetic
- 期刊名称The Journal of Symbolic Logic
- 作者Julia Robinson
- 卷第14卷
- 期第2期
- 印刷ISSN0022-4812
- 文件大小2010.74KB
- 发表时间1949-06
- DOI10.2307/2266510
- 页码98-114
Control Design of Variable-Geometry Suspension Considering the Construction SystemNemeth, Balazs; Gaspar, Peter · IEEE Transactions on Vehicular Technology · 2013
The Relationship Between the Traffic Flow and the Look-Ahead Cruise ControlNemeth, Balazs; Gaspar, Peter · IEEE Transactions on Intelligent Transportation Systems · 2016
Coordination of Independent Steering and Torque Vectoring in a Variable-Geometry Suspension SystemNemeth, Balazs; Fenyes, Daniel; Gaspar, Peter; Bokor, Jozsef · IEEE Transactions on Control Systems Technology · 2018
[IEEE 2014 European Control Conference (ECC) - Strasbourg, France (2014.6.24-2014.6.27)] 2014 European Control Conference (ECC) - Hierarchical design of electro-hydraulic actuator control for vehicle dynamic purposesVarga, Balazs; Nemeth, Balazs; Gaspar, Peter · 2014
[IEEE 2013 European Control Conference (ECC) - Zurich (2013.7.17-2013.7.19)] 2013 European Control Conference (ECC) - Analysis of vehicle actuators based on reachable setsNemeth, Balazs; Gaspar, Peter · 2013
[IEEE 2014 European Control Conference (ECC) - Strasbourg, France (2014.6.24-2014.6.27)] 2014 European Control Conference (ECC) - Nonlinear automotive actuator analysis based on sum of squares programmingNemeth, Balazs; Gaspar, Peter; Peni, Tamas · 2014
[IEEE 2016 European Control Conference (ECC) - Aalborg, Denmark (2016.6.29-2016.7.1)] 2016 European Control Conference (ECC) - Analysis of interactions between look-ahead control and traffic speedNemeth, Balazs; Gaspar, Peter; Mihaly, Andras · 2016