Jafar Akhundov

  • Citations Per Year
Learn More
In real-world spacecraft systems, concurrent system activities must be constrained for energy efficiency and functional reasons. Such constraints must be considered in the early design phases, in order to avoid costly reiterations and modifications of the proposed system design in later phases. Although some initial attempts for using formal specifications(More)
In the existing abundance of different hybrid automata formalisms concurrent composition is seldom considered or requires additional semantics which is not always defined. This work considers three common reasons of problems with hybrid automata composition: contradicting resets in the discrete transitions, global time reference with contradicting initial(More)
  • 1