University of Limerick Institutional Repository

Browsing LERO - UL authors by Author "Hinchey, Mike"

DSpace/Manakin Repository

Browsing LERO - UL authors by Author "Hinchey, Mike"

Sort by: Order: Results:

  • From physical models to well-founded control
    Dobson, Simon; Coyle, Lorcan; O'Hare, G.M.P.; Hinchey, Mike (IEEE Computer Society, 2009)
    Mobile sensors are an attractive proposition for environmental sensing, but pose significant engineering problems. Not least amongst these is the need to match the behaviour of the sensor platform to the physical environment ...
  • Fulfilling the vision of automatic computing
    Dobson, Simon; Sterritt, Roy; Nixon, Paddy; Hinchey, Mike (IEEE Computer Society, 2010)
    Efforts since 2001 to design self-managing systems have yielded many impressive achievements, yet the original vision of autonomic computing remains unfulfilled. Researchers must develop a comprehensive systems engineering ...
  • Fundamentals of designing complex aerospace software systems
    Vassev, Emil; Hinchey, Mike (Springer-Verlag, 2011)
    Contemporary aerospace systems are complex conglomerates of components where control software drives rigid hardware to aid such systems meet their standards and safety requirements. The design and development of such systems ...
  • Investment in information and communication technologies in the Irish education sector
    McInerney, Clare; Hinchey, Mike; Mc Quade, Eamonn (Springer, 2009)
    Ireland’s economy has experienced phenomenal growth over the last ten years, in particular in the ICT sector. With today’s rising global competition, Ireland faces the challenge of sustaining this growth, particularly in ...
  • Knowledge representation and awareness in autonomic service-component ensembles – state of the art
    Vassev, Emil; Hinchey, Mike (IEEE Computer Society, 2011)
    Knowledge is the source of intelligence and both knowledge representation and knowledge management are crucial for intelligent systems. Well employed knowledge helps such systems become aware of situations, recognize ...
  • Knowledge representation and reasoning for intelligent software systems
    Vassev, Emil; Hinchey, Mike (IEEE Computer Society, 2011)
  • Knowledge representation for cognitive robotic systems
    Vassev, Emil; Hinchey, Mike (IEEE Computer Society, 2012)
    Cognitive robotics are autonomous systems capable of artificial reasoning. Such systems can be achieved with a logical approach, but still AI struggles to connect the abstract logic with real-world meanings. Knowledge ...
  • Knowledge representation for self-adaptive behavior
    Vassev, Emil; Hinchey, Mike; Gaudin, Benoit (Association for Computing Machinery, 2012)
    An autonomic system is considered to be a self-adaptive system that changes its behavior in response to stimuli from its execution and operational environment. Such behavior is considered autonomic and self-adaptive and ...
  • Knowledge representation with KnowLang: the marXbot Case Study
    Vassev, Emil; Hinchey, Mike (IEEE Computer Society, 2012)
    Intelligent systems are capable of AI exhibited via knowledge representation and reasoning, which helps to connect abstract knowledge symbols to real-world meanings. This paper presents a formal language for knowledge ...
  • Model-based verification of embedded software
    Shokry, Hesham; Hinchey, Mike (IEEE Computer Society, 2009)
    Current advances in model-based develop-ment technology indicate that embedded software developers can expect more tool support for the whole embedded-software spectrum, from applications to system software.
  • Model Checking for Autonomic Systems Specified with ASSL
    Vassev, Emil; Hinchey, Mike; Quigley, Aaron (2009)
    Autonomic computing augurs great promise for deep space exploration missions, bringing onboard intelligence and less reliance on control links. As part of our research on the ASSL (Autonomic System Specification Language) ...
  • Modeling NASA swarm-based systems:using agent-oriented software engineering and formal methods
    Pena, Joaquin; Rouff, Christopher; Hinchey, Mike; Ruiz-Cortes, Antonio (Association for Computing Machinery, 2011)
    The need to collect new data and perform new science is causing the complexity of NASA missions to continually increase. This complexity needs to be controlled via new technological advancements and balanced with a reduction ...
  • Modeling the image-processing behavior of the NASA voyager mission with ASSL
    Vassev, Emil; Hinchey, Mike (IEEE Computer Society, 2009)
    NASA exploration missions increasingly rely on the concepts of autonomic computing, exploiting these to increase the survivability of remote missions, particularly when human tending is not feasible. This paper presents ...
  • Multi-agent systems – Theory, approaches and NASA applications
    Hinchey, Mike; Vassev, Emil (IOS Press, 2012)
    This chapter introduces the multi-agent paradigm and presents concepts and approaches related to multi-agent systems and paradigm-inspired popular research topics such as grid computing, intelligent swarms, sensor ...
  • On practical service-based computing in distributed embedded automotive systems
    Shokry, Hesham; Hinchey, Mike (IEEE Computer Society, 2009)
    The automotive industry is, like several other domains, a source of both challenging problems and innovative technologies of various kinds. One interesting phenomenon in this domain is the extensive interdependencies between ...
  • Prototyping home automation wireless sensor networks with ASSL
    Vassev, Emil; Hinchey, Mike; Nixon, Paddy (Association for Computing Machinery, 2010)
    We target effective home automation based on wireless sensor networks. ASSL (Autonomic System Specification Language) is used to formally specify and generate prototype models for wireless sensor networks controlling a ...
  • Quality in conference publishing
    Laplante, Phil; Rockne, John; Montuschi, Paolo; Baldwin, Thomas; Hinchey, Mike; Shafer, Linda; Voas, Jeffrey; Wang, Wenping (IEEE Computer Society, 2009)
    The rapid growth in the number of conferences and papers appearing in conference proceedings publications has increased the need to examine the issue of conference paper quality. Since conference content is included in ...
  • Representing knowledge in robotic systems with KnowLang
    Vassev, Emil; Hinchey, Mike (2011)
    Building intelligent robotic systems is both stirring and extremely challenging. Researchers have realized that robot intelligence can be achieved with a logical approach, but still AI struggles to connect that abstract ...
  • Requirements and initial model for KnowLang –a language for knowledge representation in autonomic service-component ensembles
    Vassev, Emil; Hinchey, Mike; Gaudin, Benoit; Nixon, Paddy (Association for Computing Machinery, 2011)
    Autonomic Service-Component Ensembles (ASCENS) is a class of multi-agent systems formed as mobile, intelligent and open-ended swarms of special autonomic service components capable of local and distributed reasoning. Such ...
  • A self-adaptive architecture for autonomic systems developed with ASSL.
    Vassev, Emil; Hinchey, Mike; Quigley, Aaron (2009)
    We address the need to realize a runtime self-modifiable architecture for autonomic systems, specified and generated with the ASSL (Autonomic System Specification Language) framework. This framework generates such systems ...

Search DSpace


Advanced Search

Browse

My Account