| 1. |
- Falkman, Petter, 1972, et al.
(författare)
-
Combined Process Algebra and Petri Nets for Specification of Resource Booking Problems
- 2001
-
Ingår i: American Control Conference. - 0743-1619. - 0780364953 ; 6, s. 4949-4955
-
Konferensbidrag (refereegranskat)abstract
- A modeling framework for general routing and resource booking problems is presented. The task is to specify desired routes for individual objects (products, data packets, vehicles), which are to be served by a number of shared resources (machines, computers, communication links). A high level language is presented in order to simplify the specification of desired routes. This modeling language combines Petri nets and process algebra. Process operators are introduced for specification of sequences, alternative choices, arbitrary ordered sequences and process synchronization. Multiple as well as alternative resources are easily specified utilizing sets of resources. These sets and operators imply a very compact and efficient representation of complex routing specifications. In fact, the representation is suitable for verification and synthesis based on symbolic tools such as BDDs.
|
|
| 2. |
- Abdelzaher, Tarek, et al.
(författare)
-
Practical Application of Control Theory to Web Services
- 2004
-
Ingår i: Proceedings of the American Control Conference. - 0743-1619. ; 3, s. 1992-1997
-
Konferensbidrag (refereegranskat)abstract
- This tutorial describes experiences with applying a control theoretical approach to achieving performance guarantees in Web servers, with emphasis on delay control. A model for the server is formulated and translated into a control problem formulation. Limitations of the control theoretic approach are identified that arise due to system non-linearities and modeling inaccuracies. Solutions are proposed that augment the feedback control framework with elements of scheduling and queuing theory. The theoretical results and QoS control loops presented by the authors are implemented in a middleware package, called ControlWare, which provides the software mechanisms and interfaces that allow control of real server performance. Implementation and performance of ControlWare is described.
|
|
| 3. |
- Ali, Mohammad, 1982, et al.
(författare)
-
Model-Based Threat Assessment for Lane Guidance Systems
- 2011
-
Ingår i: American Control Conference. - 0743-1619. - 9781457700804 ; , s. 4586-4591
-
Konferensbidrag (refereegranskat)abstract
- This paper considers a threat assessment problem in a lane guidance application for semi-autonomous vehicles. In particular, in order to issue an autonomous assisting intervention, we assess the vehicle’s ability to safely travel along a path subject to limitations arising from the vehicle’s dynamics and the driver’s ability.We first introduce a set of constraints describing “safedriving”. For the specific lane guidance application considered in this paper, the constraints are set by the lane boundaries and the vehicle’s stability limits. We then formulate the threat assessment problem as a constraints satisfaction problem over a finite time horizon, solved by resorting to reachabililty analysisand invariant set theory.Validation with experimental data demonstrates the capability of the proposed threat assessment method of predicting vehicle instability or crossing of the lane boundaries.
|
|
| 4. |
- Andersson, Alina, et al.
(författare)
-
Analytic Parameterization of Stabilizing Controllers for the Surge Subsystem of the Moore-Greitzer Compressor Model
- 2013
-
Ingår i: Proc. 2013 American Control Conference (ACC2013). - 0743-1619. - 9781479901777 ; , s. 5257-5262
-
Konferensbidrag (refereegranskat)abstract
- This paper is based on a new procedure for dynamic output feedback design for systems with nonlinearities satisfying quadratic constraints. The new procedure is motivated by the challenges of output feedback control design for the 3-state Moore-Greitzer compressor model. First, we use conditions for stability of a transformed system and the associated matching conditions to find the data of the stabilizing controllers for the surge subsystem. Second, using the set of stabilizing controllers satisfying the given constraints for the closed-loop system with the dynamic output feedback controller we made optimization over the parameter set. We present the data of the stabilizing controllers and the new constraints for the corresponding parameters. The contributions in this paper are simplified conditions for the synthesis and optimization over the control parameter set.
|
|
| 5. |
- Bengtsson, Johan, et al.
(författare)
-
Control of Homogeneous Charge Compression Ignition (HCCI) Engine Dynamics
- 2004
-
Ingår i: Proceedings of the 2004 American Control Conference, ACC : June 30 - July 2, 2004, Boston Sheraton Hotel, Boston, Massachusetts. - 0743-1619. - 0780383354 ; 5, s. 4048-4053
-
Konferensbidrag (refereegranskat)abstract
- The Homogeneous Charge Compression Ignition (HCCI) combustionconcept lacks direct ignition timing control, instead the autoignition depends on the operating condition. Since auto ignition of ahomogeneous mixture is very sensitive to operating conditions, a fastcombustion timing control is necessary for reliable operation. Hence,feedback is needed and the crank angle of 50% burnt (CA50) has provedto be a reliable feedback indicator of on-going combustion inpractice. CA50 or other methods for detecting on-going cylinderpressure used in the feedback control of a HCCI engine all rely onpressure sensors. This paper presents a newcandidate for control of HCCI engine by using the electronicconductive properties in the reaction zone. This phenomenon is calledion current. This paper perform combustion timing control based on ioncurrent and compare it with control based on pressure sensor. Thecombustion timing control is performed on cycle-to-cycle basis and the engine is a one-cylinder version of a heavy duty engine equipped with a port injection system using dual fuels.
|
|
| 6. |
- Bernhardsson, Bo, et al.
(författare)
-
A Simple But Rich Test Example for H∞-Optimal Control
- 1992
-
Ingår i: Proceedings of the American Control Conference. - 0743-1619. - 0780302109 ; 1, s. 745-746
-
Konferensbidrag (refereegranskat)abstract
- A simple second order feed-forward disturbance attenuation problem is analyzed. The problem has one free parameter, the control weight ρ in the loss function. It is found that controller structure and uniqueness for H∞-control, in the optimal case, changes when ρ is varied. Sensitivity to initial conditions is also drastically changed. The example is simple enough to allow a solution by formula manipulation, but is rich enough to give physically reasonable controllers and insight into the behavior of both state-space and polynomial H∞-methods at optimality. Details can be found in [6].
|
|
| 7. |
- Berntorp, Karl, et al.
(författare)
-
Models and Methodology for Optimal Vehicle Maneuvers Applied to a Hairpin Turn
- 2013
-
Ingår i: 2013 American Control Conference. - 0743-1619. - 9781479901777 ; , s. 2139-2146
-
Konferensbidrag (refereegranskat)abstract
- There is currently a strongly growing interest in obtaining optimal control solutions for vehicle maneuvers, both in order to understand optimal vehicle behavior and to devise improved safety systems, either by direct deployment of the solutions or by including mimicked driving techniques of professional drivers. However, it is nontrivial to find the right mix of models, formulations, and optimization tools to get useful results for the above purposes. Here, a platform is developed based on a state-of-the-art optimization tool together with adoption of existing vehicle models, where especially the tire models are in focus. A minimum-time formulation is chosen to the purpose of gaining insight in at-the-limit maneuvers, with the overall aim of possibly finding improved principles for future active safety systems. We present optimal maneuvers for different tire models with a common vehicle motion model, and the results are analyzed and discussed. Our main result is that a few-state single-track model combined with different tire models is able to replicate the behavior of experienced drivers. Further, we show that the different tire models give quantitatively different behavior in the optimal control of the vehicle in the maneuver.
|
|
| 8. |
- Berntorp, Karl
(författare)
-
Particle Filter for Combined Wheel-Slip and Vehicle-Motion Estimation
- 2015
-
Ingår i: 2015 American Control Conference (ACC). - 0743-1619 .- 2378-5861. - 9781479917730 - 9781479986842 ; , s. 5414-5419
-
Konferensbidrag (refereegranskat)abstract
- The vehicle-estimation problem is approached by fusing measurements from wheel encoders, an inertial measurement unit, and (optionally) a global positioning system in a Rao-Blackwellized particle filter. In total 14 states are estimated, including key variables in active safety systems, such as longitudinal velocity, roll angle, and wheel slip for all four wheels. The method only relies on kinematic relationships. We present experimental data for one test scenario, using a Volkswagen Golf equipped with state-of-the-art sensors for determining ground truth. We report highly promising results, even for periods of combined aggressive cornering and braking.
|
|
| 9. |
- Berntorp, Karl, et al.
(författare)
-
Path Tracking with Obstacle Avoidance for Pseudo-Omnidirectional Mobile Robots Using Convex Optimization
- 2014
-
Ingår i: [Host publication title missing]. - 0743-1619. ; , s. 517-524
-
Konferensbidrag (refereegranskat)abstract
- We consider the problem of trajectory generation for time-optimal path tracking for the class of pseudo-omnidirectional mobile robots. An Euler-Lagrange model of the robot dynamics is derived, and by writing it on special form a convex reformulation of the path-tracking problem can be utilized. This enables the use and regeneration of time-optimal trajectories during runtime. The proposed approach also incorporates avoidance of moving obstacles, which are unknown a priori. Using sensor data, objects along the desired path are detected. Subsequently, a new path is planned and the corresponding time-optimal trajectory is found. The robustness of the method and its sensitivity to model errors are analyzed and discussed with extensive simulation results. Moreover, we verify the approach by successful execution on a physical setup.
|
|
| 10. |
- Campbell, S.L., et al.
(författare)
-
A numerical integrator for simulation of unstructured implicit models
- 2004
-
Ingår i: Proceedings of the 2004 American Control Conference. - 0743-1619. ; 6, s. 5647-5652
-
Konferensbidrag (refereegranskat)abstract
- Object oriented modeling naturally leads to implicitly defined dynamical systems or, as they are also called, differential algebraic equations (DAEs). Most existing DAE integrators require the equations defining the dynamical system to have a special structure. Progress on the development of a new integrator for general unstructured DAEs is presented. The new integrator is called UCP. Computational tests are given to show that the new method can successfully integrate problems that other methods have trouble with.
|
|
