Problem Statement:

Design a Mealy finite state machine $($FSM$)$ for an elevator that can be used to transport

passengers between $12$ floors. The elevator should have the following features:

$$ It should be able to respond to calls from passengers at any floor.

$$ It should be able to open and close its doors at each floor.

$$ It should be able to move up and down between floors.

$$ It should be able to stop at the correct floor when a passenger is waiting.

$$ It should be able to prevent passengers from entering or exiting the elevator while it is

moving.

In addition to the basic features listed above, the elevator should also have the following

complex features:

$$ It should be able to handle multiple calls from passengers at the same time and

determine the most efficient way to service all of the calls.

$$ It should be able to prioritize calls from passengers with disabilities.

$$ It should be able to detect and avoid collisions with other objects in the elevator shaft.

$$ It should be able to operate in emergency mode in the event of a power outage or

other failure.

Inputs:

$$ Call buttons at each floor

$$ Door open$/$close sensors

$$ Elevator position sensors

$$ Passenger weight sensors

$$ Fire alarm sensors

$$ Power outage sensors

Outputs:

$$ Elevator motor control signals

$$ Door open$/$close control signals

$$ Floor display

$$ Alarm signals

$$ Emergency mode signals

States:

$$ Idle

$$ Moving up

$$ Moving down

$$ Door opening

$$ Door closing

$$ Passenger entering

$$ Passenger exiting

$$ Emergency mode

State Transitions:

The state transitions for the elevator FSM will be more complex than those for a basic

elevator, as the FSM will need to take into account all of the additional features listed above.

For example, the FSM will need to be able to transition to the Emergency mode state if a fire

alarm is detected or if there is a power outage.