5200 search results - page 140 / 1040 » Symbolic models for control systems |
FDL
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— A modeling methodology for mixed physical domains system in a new modelling Language is presented. The system is automotive seating vibration isolation system with elec...
INTERACT
2003
13 years 10 months ago
2003
: Today, it has become very popular to represent 3D CG models onto the screen of a workstation or personal computer. In almost all software that displays 3D models, users can contr...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
ate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems Alessandro D’Innocenzo, Alessandro Abate, and Maria D. Di Benedetto — This work proposes a procedure to c...
FM
1999
Springer
14 years 1 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— Based on our previously developed tuning procedure for fractional order proportional integral controller (FO-PI), we present in this paper an extensive comparative experimental...