SHIFT and SMART-AHS: A Language for Hybrid System Engineering Modeling and Simulation

@inproceedings{Antoniotti1997SHIFTAS,
  title={SHIFT and SMART-AHS: A Language for Hybrid System Engineering Modeling and Simulation},
  author={Marco Antoniotti and Aleks G{\"o}ll{\"u}},
  booktitle={DSL},
  year={1997}
}
SHIFT is a new programming language, whose aim is to facilitate the implementation of reusable simulation frameworks by teams of engineers. SHIFT incorporates system theoretic concepts emerging from the field of Hybrid Systems analysis and modeling. The SMART AHS framework is a collection of SHIFT libraries devoted to the construction of Hybrid System based simulation of Automated Highways Systems. In this paper we describe how the SHIFT simulation environment and language have impacted on the… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 17 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 16 REFERENCES

The Tool KRONOS

VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata

A. Deshpande, A. Goll u, P. Varaiya
  • In Hybrid Systems IV. Springer-Verlag,
  • 1997
VIEW 1 EXCERPT

Microsimulation analysis of automated vehicles on multiple merge junction highways

  • 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation
  • 1997
VIEW 1 EXCERPT

Microsimulation analysis of multiple merge junctions under autonomous ahs operation

M. Antoniotti, A. Deshpande, A. Girault
  • In Proceedings of the IEEE Conference on Intelligent Transportation Systems (ITSC97)
  • 1997
VIEW 1 EXCERPT

Dynamic Structure Discrete Event System Speci cation Formalism

F. Barros
  • Transactions of the Society for Computer Simulation,
  • 1996
VIEW 1 EXCERPT

The Ideas Behind Omola

S. E. Mattson, M. Anderson
  • In Proceedings of the IEEE Symposium on Computer Aided Control System Design, CADCS
  • 1992
VIEW 2 EXCERPTS