Patent Application
20200005609
The present invention is directed to a system and method for developing computational models of the behavior of a building's occupants using data acquired from sensor-equipped connected luminaires. The models are then used to plan and design evacuation plans for safe and timely egress of the occupants.
Large buildings, such as office spaces and residential high rises, in cities periodically undergo mock evacuations to inspect the validity of an evacuation plan and the readiness of the occupants to execute the plan. These mock drills are expensive in terms of the total man-hours lost in the drills, as well as inconvenient to the occupants of the buildings. Moreover, the evacuation plans are typically designed before the occupants move into the building, and are therefore agnostic of actual occupant dynamics. Flexible office spaces, which dynamically manage the workspaces based on demand, and events in the buildings like conferences and workshops, can lead to significant variability in the occupant dynamics and thereby invalidate the evacuation plan. As buildings evolve to be evermore dynamic spaces, rapid and effective evacuation will continue to be a pertinent problem.
The present invention addresses the above problems by providing a system and method that aids the design and verification of evacuation plans while alleviating the dependence on mock drills. In one aspect of the invention, building-wide sensor-enabled connected lighting and data-driven methods are employed to automate the process of exhaustively verifying the evacuation plan of a building. Moreover, the proposed system can also be used to design an evacuation plan based on the recent history of building dynamics.
The present invention focuses on the following two aspects of building evacuation, but can be extended to other aspects also: Timeliness and Safety. Timeliness dictates that the occupants must be able to exit the building within the specified time bound. Safety entails ensuring that critical areas of the region do not get overcrowded and lead to injuries caused by other fleeing occupants.
In accordance with the principles of the invention, occupancy and motion sensors are present on a connected lighting system. Such systems are known in the prior art. By way of example, the lighting network systems described in U.S. Pat. No. 8,970,365 entitled “Evacuation System,” and in International Publication Number WO 2014/080040A2, entitled “Method and System for Evacuation Support;” both of which are hereby incorporated by reference in their entirety.
In the present invention the lighting system is used to collect fine-grained data about mobility of people. This data is then used to learn models of occupancy and motion among different rooms. System identification is used to learn these models. The models are then transformed to computational models that are amenable to formal verification-based analytics. Formal verification is the process of exhaustively and automatically analyzing the trajectories of a model of the underlying system. In safety-critical applications, such as defense and aerospace, and mission-critical applications, such as chip manufacturing, formal verification has successfully been used to guarantee the safety of large complex systems. The exhaustive nature of analysis ensures that guarantees can be given on the safety and timeliness of the evacuation plan.
In accordance with another aspect of the invention, the proposed system can be used to design and synthesize an evacuation plan on-the-fly. Consequently, the system would adapt to the changing occupancy patterns and dynamically generate correct-by-construction evacuation plans. These evacuation plans can be used to actuate the lights of the building in patterns that guide the people, like the emergency lights of an airplane.
Various embodiments of the invention attain the following beneficial benefits with respect to building evacuation issues:
Reduces any dependency on expensive and time-consuming mock drills, which can cause inconvenience to the building occupants,
Can work on-the fly to provide that the evacuation plan can guarantee timely and safe evacuation of the building despite dynamically changing occupancy patterns.
Can aid the fire department officials with the inspection of large buildings, and
Aid decision making for experts that plan for contingencies in large buildings.
As used herein:
The term “Luminaire” or “lighting fixture” is used herein to refer to an implementation or arrangement of one or more lighting units in a particular form factor, assembly, or package. The term “lighting unit” is used herein to refer to an apparatus including one or more light sources of same or different types. A given lighting unit may have any one of a variety of mounting arrangements for the light source(s), enclosure/housing arrangements and shapes, and/or electrical and mechanical connection configurations. Additionally, a given lighting unit optionally may be associated with (e.g., include, be coupled to and/or packaged together with) various other components (e.g., control circuitry) relating to the operation of the light source(s). An “LED-based lighting unit” refers to a lighting unit that includes one or more LED-based light sources, alone or in combination with other non LED-based light sources.
The term “light source” should be understood to refer to any one or more of a variety of radiation sources, including, but not limited to, LED-based sources (e.g., various semiconductor-based structures that emit light in response to current, light emitting polymers, organic light emitting diodes (OLEDs), electroluminescent strips, and the like), incandescent sources (e.g., filament lamps, halogen lamps), fluorescent sources, phosphorescent sources, high-intensity discharge sources (e.g., sodium vapor, mercury vapor, and metal halide lamps), lasers, other types of electroluminescent sources, pyro-luminescent sources (e.g., flames), candle-luminescent sources (e.g., gas mantles, carbon arc radiation sources), photo-luminescent sources (e.g., gaseous discharge sources), cathode luminescent sources using electronic satiation, galvano-luminescent sources, crystallo-luminescent sources, kine-luminescent sources, thermo-luminescent sources, triboluminescent sources, sonoluminescent sources, radio luminescent sources, and luminescent polymers.
The term “controller” is used herein generally to describe various apparatus relating to the operation of one or more Luminaires. A controller can be implemented in numerous ways (e.g., such as with dedicated hardware) to perform various functions discussed herein. A “processor” is one example of a controller which employs one or more microprocessors that may be programmed using software (e.g., microcode) to perform various functions discussed herein. A controller may be implemented with or without employing a processor, and also may be implemented as a combination of dedicated hardware to perform some functions and a processor (e.g., one or more programmed microprocessors and associated circuitry) to perform other functions. Examples of controller components that may be employed in various embodiments of the present disclosure include, but are not limited to, conventional microprocessors, application specific integrated circuits (ASICs), and field-programmable gate arrays (FPGAs).
In various implementations, a processor or controller may be associated with one or more storage media (generically referred to herein as “memory,” e.g., volatile and non-volatile computer memory such as RAM, PROM, EPROM, and EEPROM, floppy disks, compact disks, optical disks, magnetic tape, etc.). In some implementations, the storage media may be encoded with one or more programs that, when executed on one or more processors and/or controllers, perform at least some of the functions discussed herein. Various storage media may be fixed within a processor or controller or may be transportable, such that the one or more programs stored thereon can be loaded into a processor or controller so as to implement various aspects of the present invention discussed herein. The terms “program” or “computer program” are used herein in a generic sense to refer to any type of computer code (e.g., software or microcode) that can be employed to program one or more processors or controllers.
In one network implementation, one or more devices coupled to a network may serve as a controller for one or more other devices coupled to the network (e.g., in a master/slave relationship). In another implementation, a networked environment may include one or more dedicated controllers that are configured to control one or more of the devices coupled to the network. Generally, multiple devices coupled to the network each may have access to data that is present on the communication medium or media; however, a given device may be “addressable” in that it is configured to selectively exchange data with (i.e., receive data from and/or transmit data to) the network, based, for example, on one or more particular identifiers (e.g., “addresses”) assigned to it.
The term “network” as used herein refers to any interconnection of two or more devices (including controllers or processors) that facilitates the transport of information (e.g. for device control, data storage, data exchange, etc.) between any two or more devices and/or among multiple devices coupled to the network. As should be readily appreciated, various implementations of networks suitable for interconnecting multiple devices may include any of a variety of network topologies and employ any of a variety of communication protocols. Additionally, in various networks according to the present disclosure, any one connection between two devices may represent a dedicated connection between the two systems, or alternatively a non-dedicated connection. In addition to carrying information intended for the two devices, such a non-dedicated connection may carry information not necessarily intended for either of the two devices (e.g., an open network connection). Furthermore, it should be readily appreciated that various networks of devices as discussed herein may employ one or more wireless, wire/cable, and/or fiber optic links to facilitate information transport throughout the network.
It should be appreciated that all combinations of the foregoing concepts and additional concepts discussed in greater detail below (provided such concepts are not mutually inconsistent) are contemplated as being part of the inventive subject matter disclosed herein. In particular, all combinations of claimed subject matter appearing at the end of this disclosure are contemplated as being part of the inventive subject matter disclosed herein. It should also be appreciated that terminology explicitly employed herein that also may appear in any disclosure incorporated by reference should be accorded a meaning most consistent with the particular concepts disclosed herein.
In the drawings, like reference characters generally refer to the same parts throughout the different views. Also, the drawings are not necessarily to scale, emphasis instead generally being placed upon illustrating the principles of the invention.
It is to be understood that the figures and descriptions of the present invention described herein have been simplified to illustrate the elements that are relevant for a clear understanding of the present invention, while eliminating, for purposes of clarity only, many other elements. However, because these eliminated elements are well-known in the art, and because they do not facilitate a better understanding of the present invention, a discussion of such elements or the depiction of such elements is not provided herein. The disclosure herein is directed also to variations and modifications known to those skilled in the art.
It will be further understood that the present invention is described with regard to a specific implementation of a lighting system requiring light sources and luminaries. In the specific field of light management, occupancy sensors are sensing devices commonly connected to a room's lighting, which shut down these services when the space is unoccupied. However, it would be appreciated that other types of sensor devices can be employed without altering the scope of the invention.
Item 150. Building rooms that are equipped with an intelligent lighting system that detects occupancy in different parts of the building, can count people, and aid the modelling (Item 130) of the dynamics of the occupants' movements. In various embodiments of the invention the exact locations of each of the system's luminaire sensors (positioned throughout office rooms, hallways, bathrooms, etc.) is determined and recorded in a database upon commissioning of the system's luminaires. Such commissioning procedures are well-known in the prior art (e.g., as described in U.S. Pat. Appln. No. 20160205749 entitled “LIGHTING COMMISSIONING).
Item 110. The emergency evacuation plan of the region of the interest. This region can be a part of the floor, the entire floor, or even the entire building.
Item 120. A modelling engine that builds models of occupants moving in the building. System identification is used by this engine to estimate the models.
Item 140. A Verification-Based Analytics Engine (VBAE), which uses formal verification to analyze the models of building dynamics.
Item 145. In a further embodiment, the proposed system can be used to design and synthesize an evacuation plan on-the-fly. Consequently, the system would adapt to the changing occupancy patterns and dynamically generate correct-by-construction evacuation plans. These evacuation plans can be used to actuate the lights of the building in patterns that guide the people, like the emergency lights of an airplane.
At step 230 the models are transformed to computational models that are amenable to formal verification-based analytics. These models are employed in step 240 to evaluate the current evacuation plan (item 235). In various embodiments of the invention, such evaluations occur periodically and/or when triggered by events. An example of the modelling process will now be provided: Let the model of occupant dynamics for floor i under the evacuation plan, be denoted by i; and the dynamics of moving from floor i to floor j be denoted by
ij. The dynamics for the entire building of N floors can be obtained by composing the models:
=
N×
NN-1×
N-1× . . .
1×
10, where × denotes the composition operator.
Formal verification is then performed. Formal verification is the process of exhaustively and automatically analyzing the trajectories of a model of the underlying system. In safety-critical applications, such as defense and aerospace, and mission-critical applications, such as chip manufacturing, formal verification has successfully been used to guarantee the safety of large complex systems.
As timeliness and safety are important concerns of the present invention, these features are addressed in the modelling and verification process. In particular, timeliness and safety concerns are encoded in Temporal Logic Formulae. Temporal logic is the language of formal verification. Specifically, bounded-time temporal logic can be used to specify the timeliness and safety properties of building evacuation.
For example: Consider the timeliness requirement for the evacuation of a building of N floors: Floor i must be evacuated within time ti for 1≤i≤N. This can be expressed as a bounded-time temporal logic formula:
ψtimeliness=Evac1t
Similarly, the safety requirements ψsafety can also be encoded in temporal logic.
Once the requirements are established, formal verification can be used to answer the following question:
ψtimeliness∧ψsafety?
In other words, does the model M satisfy the timeliness and safety requirements? The research community has developed several algorithms to answer this question by reasoning exhaustively about the trajectories of . One such prior art example of this technique is discussed in U.S. Pat. Appln. No. 2016/0262307 entitled “TEMPORAL LOGIC ROBUSTNESS GUIDED TESTING FOR CYBER-PHYSICAL SYSTEMS.” Consequently, guarantees can be given on the evacuation plans based on the assumptions of the model
.
As an aide to understanding, a simple example will now be provided in which there exists a room with one exit and two sensor-equipped luminaires (312, 314), as depicted in
Once these estimates are determined, a compartmental model, as depicted in
We can then evaluate an evacuation plan (which can be constructed from the evacuation plan of the floor) which states: “If in 310, then move to 320. If in 320, move to O.”
Formal verification considers the behaviors of the quantities I1, I2, and O under the evacuation plan, as governed by the equations (1)-(3). The timely evacuation requirement can be stated as: “Ensure that both I1 and I2 go to 0 and O goes to 1 within time T1”. The temporal logic representation of this would be:
ψtimely=ψ1∧ψ2∧ψ3,
where ψ1=(I1=0)≤T
The safe evacuation requirement can be stated as: “Ensure that people are not moving too fast between different parts of the building to prevent stampedes.” In other words, ensure that the rate of change of I1, I2, and O are bounded by θ. The temporal logic representation of this would be:
Returning to
An optional step is depicted at step 250, wherein the process would, in the event of an evacuation event, activate exit light signaling based on the determined evacuation plan.
In summary in designing and synthesizing the evacuation plan, a control-theoretic approach is adopted. The dynamics of the people are considered as the plant and the evacuation process as the control input. The evacuation plan design problem then becomes an instance of controller design. In obtaining this evacuation plan design, a formal verification procedure is performed to optimize the evacuation plan in light of the dynamics of the occupants.
The above-described methods according to the present invention can be implemented in hardware, firmware or as software or computer code that can be stored in a recording medium such as a CD ROM, an RAM, a floppy disk, a hard disk, or a magneto-optical disk or computer code downloaded over a network originally stored on a remote recording medium or a non-transitory machine readable medium and to be stored on a local recording medium, so that the methods described herein can be rendered in such software that is stored on the recording medium using a general purpose computer, or a special processor or in programmable or dedicated hardware, such as an ASIC or FPGA. As would be understood in the art, the computer, the processor, microprocessor controller or the programmable hardware include memory components, e.g., RAM, ROM, Flash, etc. that may store or receive software or computer code that when accessed and executed by the computer, processor or hardware implement the processing methods described herein. In addition, it would be recognized that when a general purpose computer accesses code for implementing the processing shown herein, the execution of the code transforms the general purpose computer into a special purpose computer for executing the processing shown herein.
Although, a computer, a processor and/or dedicated hardware/software are described herein as being capable of processing the processing described herein, it would be recognized that a computer, a processor and/or dedicated hardware/software are well-known elements in the art of signal processing and, thus, a detailed description of the elements of the processor need not provided in order for one skilled in the art to practice the invention described, herein.
Other variations to the disclosed embodiments can be understood and effected by those skilled in the art in practicing the claimed invention, from a study of the drawings, the disclosure, and the appended claims. In the claims, the word “comprising” does not exclude other elements or steps, and the indefinite article “a” or “an” does not exclude a plurality. A single processor or other unit may fulfill the functions of several items recited in the claims. The mere fact that certain measures are recited in mutually different dependent claims does not indicate that a combination of these measured cannot be used to advantage.
The term “comprises”, “comprising”, “includes”, “including”, “as”, “having”, or any other variation thereof, are intended to cover non-exclusive inclusions. For example, a process, method, article or apparatus that comprises a list of elements is not necessarily limited to only those elements but may include other elements not expressly listed or inherent to such process, method, article, or apparatus. In addition, unless expressly stated to the contrary, the term “or” refers to an inclusive “or” and not to an exclusive “or”. For example, a condition A or B is satisfied by any one of the following: A is true (or present) and B is false (or not present); A is false (or not present) and B is true (or present); and both A and B are true (or present).
While there has been shown, described, and pointed out fundamental and novel features of the present invention as applied to preferred embodiments thereof, it will be understood that various omissions and substitutions and changes in the apparatus described, in the form and details of the devices disclosed, and in their operation, may be made by those skilled in the art without departing from the spirit of the present invention.
It is expressly intended that all combinations of those elements that perform substantially the same function in substantially the same way to achieve the same results are within the scope of the invention. Substitutions of elements from one described embodiment to another are also fully intended and contemplated.
Any reference signs in the claims should not be construed as limiting the scope of the claims or the invention described by the subject matter claimed.
| Number | Date | Country | Kind |
|---|---|---|---|
| 17157652.3 | Feb 2017 | EP | regional |
| Filing Document | Filing Date | Country | Kind |
|---|---|---|---|
| PCT/EP2018/052044 | 1/29/2018 | WO | 00 |
| Number | Date | Country | |
|---|---|---|---|
| 62453601 | Feb 2017 | US |
