Rapid prototyping tools for powertrain control systems development

1997 ◽  
Author(s):  
C.E. Hawkins
Keyword(s):  
Rapid Prototyping ◽  
Control Systems ◽  
Systems Development ◽  
Powertrain Control

scholarly journals Progress on Powertrain Verification Challenge with C2E2

10.29007/1kq2 ◽  
2018 ◽  
Author(s):  
Chuchu Fan ◽  
Parasara Sridhar Duggirala ◽  
Sayan Mitra ◽  
Mahesh Viswanathan
Keyword(s):  
Rate Of Convergence ◽  
Control Systems ◽  
Hybrid System ◽  
State Machines ◽  
Powertrain Control ◽  
Verification Tool ◽  
Discrepancy Rate ◽  
System Verification ◽  
Made In

In this paper, we present the progress we have made in verifying the benchmark powertrain control systems introduced in the last ARCH workshop. We implemented the algorithm for computing local discrepancy (rate of convergence or divergence of trajectories) reported in the hybrid system verification tool C2E2. We created Stateflow translations of the original models to aid the processing using C2E2 tool. We also had to encode the different driver behaviors in the form of state machines. With these customizations, we have been successful in verifying one of the easier (but still challenging) benchmarks from the powertrain suite. In this paper, we present some of the engineering challenges and describe the artifacts we created in the process.

scholarly journals A Rapid Prototyping Tool for Embedded, Real-Time Hierarchical Control Systems

2008 ◽  
Vol 2008 (1) ◽  
pp. 162747
Author(s):  
Ram Rajagopal ◽  
Subramanian Ramamoorthy ◽  
Lothar Wenzel ◽  
Hugo Andrade
Keyword(s):  
Rapid Prototyping ◽  
Control Systems ◽  
Real Time ◽  
Hierarchical Control
Sign in / Sign up

Export Citation Format

Share Document